Cours de logique mathématique. Tome I, Relation, formule logique, compacité, complétude

Enregistré dans:
Détails bibliographiques
Auteur principal: Fraïssé, Roland, 1920-
Support: Livre
Langue: Français
Publié: Paris : Louvain : Gauthier-Villars ; E. Nauwelaerts, 1967.
Collection: Collection de logique mathématique. Série A n 23
Sujets:
Autres localisations: Voir dans le Sudoc
Provenance: Don Abbé Turpin
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