|
|
|
|
LEADER |
00874nam a22002537a 4500 |
001 |
290720 |
008 |
930208t19671967xxe ||| |||| 00| 0 fre d |
041 |
0 |
|
|a fre
|
082 |
|
|
|a 511.3
|
084 |
|
|
|a 02.00
|c 2000
|
100 |
1 |
|
|a Fraïssé, Roland,
|d 1920-
|
240 |
1 |
0 |
|a Relation, formule logique, compacité, complétude
|
245 |
1 |
0 |
|a Cours de logique mathématique.
|n Tome I,
|p Relation, formule logique, compacité, complétude
|c par Roland Fraïssé,..
|
260 |
|
|
|a Paris :
|b Gauthier-Villars ;
|a Louvain :
|b E. Nauwelaerts,
|c 1967.
|
300 |
|
|
|a 1 vol. (XII-186 p.) ;
|c 24 cm.
|
490 |
1 |
|
|a Collection de logique mathématique. Série A
|v n 23
|
504 |
|
|
|a Bibliogr. p. [175]-181. Index
|
561 |
|
|
|5 UCO
|a Don Abbé Turpin
|
650 |
|
|
|a Complétude, Théorème de
|
650 |
|
|
|a Logique symbolique et mathématique
|
993 |
|
|
|a Livre
|
994 |
|
|
|a BC
|
995 |
|
|
|a 064687333
|
997 |
|
|
|0 290720
|