Cours de logique mathématique. Tome 3, Récursivité et constructibilité
Enregistré dans:
| Auteur principal: | Fraïssé, Roland, 1920-2008, mathématicien |
|---|---|
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
Paris :
Gauthier-Villars
C 1975.
|
| Collection: | Collection de logique mathématique. Série A
25 |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Récursivité et constructibilité |
Documents similaires
-
Cours de logique mathématique. Relation et formule logique
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars : DL 1971, 1971 -
Cours de logique mathématique. Théorie des modèles
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars, 1972 -
Cours de logique mathématique. Relation, formule logique, compacité, complétude
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars ; E. Nauwelaerts, 1967 -
Logique mathématique
(Livre papier)
Kleene, Stephen Cole, 1909-1994
Armand Colin, 1971 -
Introduction à la logique mathématique
(Livre papier)
Novikov, Petr Sergeevich, 1901-1975
Dunod, 1964

