Cours de logique mathématique. Tome I, Relation, formule logique, compacité, complétude
Enregistré dans:
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 |
Documents similaires
-
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
par: David, René, 1948-
Publié: 2001 -
Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: 2007 -
Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: 2006 -
Logique mathématique : cours et exercices
par: Cori, René.
Publié: 1993 -
Gödel's proof
par: Nagel, Ernest, 1901-1985.
Publié: 1959