Logique mathématique : vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles cours et exercices
Enregistré dans:
Auteur principal: | |
---|---|
Autres auteurs: | , |
Support: | Livre |
Langue: | Français |
Publié: |
Paris ; Milan ; Barcelone :
Masson,
1993.
|
Collection: | Axiones
|
Sujets: |