The foundations of intuitionistic mathematics : especially in relation to recursive functions [monographie] |
| Auteur(s): | Kleene, Stephen Cole (1909-1994) Vesley, Richard Eugene (1932-....) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1965 |
| Ville(s) d'édition: | Amsterdam (NL) |
| Classification MSC: | 02.23 (2000) |
| Notes: | viii ; bibliogr. pp. 186-199 ; index pp. 200-206 ; 23 cm ; 206 p. |
| Thèmes: | logique, recursivite, fonctions recursives, recursive functions, intuitionistic mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 KLE 65 | Disponible |