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 :
Gardado en:
| Auteurs principaux: | , |
|---|---|
| Outros autores: | |
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado: |
Paris ; Milan ; Barcelone [etc.] :
Masson
1993.
|
| Series: | Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
|
| Sujets: | |
| 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 |
Orléans - BU Sciences Technologies STAPS
| Localización | Número de Clasificación | Type de prêt | Statut | |
|---|---|---|---|---|
| ex. 3 | Mathématiques, 1er étage | 511.3 COR | Dispoñible | |
| ex. 2 | Magasin | B150-1(2) | Dispoñible |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localización | Número de Clasificación | Type de prêt | Statut | |
|---|---|---|---|---|
| Salle de lecture | 1595 COR | Dispoñible |