Cours de logique mathématique. Tome 3 : Récursivité et constructibilité [monographie] |
| Auteur(s): | Fraïssé, Roland (1920-2008) |
| Langue: | français |
| Collection: | Collection de logique mathématique : Série A, n° 25 |
| Editeur, date d'édition: | Gauthier-Villars, 1975 |
| Ville(s) d'édition: | Paris (FR) |
| ISBN: | 2-04-004158-2 |
| ISSN: | 0530-7554 |
| Classification MSC: | 02-02 |
| Notes: | Index pp. 129-130 ; bibliogr. pp. 131-134 ; 24 cm ; 134 p. |
| Thèmes: | logique, decidabilite, constructibilite, recursivite, ultraproduit, rec-enumerabilite, insaturation |
| Localisation: | Ouvrages localisés fonds enseignement - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 FRA 76-3 | Disponible |
| 05 FRA 76-3 | Disponible |