Metamathematical investigation of intuitionistic arithmetic and analysis [monographie] |
| Auteur(s): | Troelstra, Anne Sjerp (Ed.) |
| Langue: | anglais |
| Collection: | Lecture notes in mathematics, n° 344 |
| Editeur, date d'édition: | Springer, 1973 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 0-387-06491-5 ; 3-540-06491-5 |
| ISSN: | 0075-8434 |
| Classification MSC: | 02CXX (2000) |
| Notes: | xvii ; bibliogr. pp. 462-475 ; index pp. 476-485 ; 25 cm ; 485 p. |
| Thèmes: | theorie de la distribution, theorie des modeles, proof theory, model theory, intuitionistic mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 TRO 73 | Disponible |