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
Sparad:
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | , |
| Materialtyp: | Livre |
| Språk: | Français |
| Publicerad: |
Paris ; Milan ; Barcelone :
Masson,
1993.
|
| Serie: | Axiones
|
| Ämnen: |