|
|
|
|
LEADER |
00760nam a22002417a 4500 |
001 |
290676 |
008 |
880304t19671967xxe ||| |||| 00| 0 fre d |
041 |
0 |
|
|a fre
|
082 |
|
|
|a 510.01
|
084 |
|
|
|a 03-XX
|
100 |
1 |
|
|a Ponasse, Daniel.
|
245 |
1 |
0 |
|a Logique mathématique :
|b éléments de base : calcul propositionnel, calcul des prédicats
|c Daniel Ponasse,...
|
260 |
|
|
|a Paris :
|b O.C.D.L. [Office Central de Librairie],
|c cop. 1967.
|
300 |
|
|
|a 1 vol. (163 p.) ;
|c 21 cm.
|
504 |
|
|
|a Bibliogr. p. 157. Index des notations. Index
|
561 |
|
|
|5 UCO
|a Don Abbé Turpin
|
650 |
|
|
|a Logique symbolique et mathématique
|
650 |
|
|
|a Calcul propositionnel
|
650 |
|
|
|a Calcul des prédicats
|
993 |
|
|
|a Livre
|
994 |
|
|
|a BC
|
995 |
|
|
|a 005628466
|
997 |
|
|
|0 290676
|