The foundations of intuitionistic mathematics, especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Kleene, Stephen Cole <1909- >
|
| Titolo: |
The foundations of intuitionistic mathematics, especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley
|
| Pubblicazione: | Amsterdam : North-Holland Pub. Co., 1965 |
| Descrizione fisica: | viii, 206 p. ; 23 cm |
| Disciplina: | 511.3 |
| 519 | |
| Soggetto non controllato: | Logica e fondamenti |
| Fondamenti della logica matematica e probabilità | |
| Altri autori: |
Vesley, Richard Eugene
|
| Titolo autorizzato: | Foundations of intuitionistic mathematics, especially in relation to recursive functions |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990002576370403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | MXXXII-B-73 |
| C-30-(42 | |
| 4A-028 | |
| Opac: | Controlla la disponibilità qui |