Intuitionistic logic model theory and forcing [monographie] |
| Auteur(s): | Fitting, Melvin Chris (1942-....) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland, 1969 |
| Ville(s) d'édition: | Amsterdam (NL), London (GB) |
| ISBN: | 0-7204-2256-6 |
| ISSN: | 0049-237X |
| Classification MSC: | 02.23 (2000) |
| Notes: | Bibliogr. pp. 188-189 ; index pp. 190-191 ; 23 cm ; 191 p. |
| Thèmes: | theorie des modeles, mathematiques intuitionnistes, theorie axiomatique des ensembles, model theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 FIT 69 | Disponible |