Logique mathématique. cours et exercices II, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :
Na minha lista:
| Auteurs principaux: | , |
|---|---|
| Outros Autores: | |
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado em: |
Paris ; Milan ; Barcelone [etc.] :
Masson
1993.
|
| Colecção: | Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
|
| Assuntos: | |
| Nota: |
2ème tirage corrigé : 1994 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |