Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley |
Autore | Conference on intuitionism and proof theory <1968 ; Buffalo> |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1970 |
Descrizione fisica | viii, 516 p. ; 23 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Kino, Akiko
Myhill, John Vesley, Richard Eugene |
Altri autori (Enti) |
State University of New York |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90 |
Soggetto topico |
Intuitionistic mathematics - Congresses
Logic - Congresses Proof theory - Congresses |
Classificazione |
AMS 03-06
AMS 03F03 AMS 03F55 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001041079707536 |
Conference on intuitionism and proof theory <1968 ; Buffalo> | ||
Amsterdam : North-Holland, 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Intuitionism and Proof Theory : Proceedings of the summer conference at Buffalo N.Y. 1968 / edited by A. Kino, J. Myhill, R.E. Vesley |
Autore | Kino, A. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1970 |
Descrizione fisica | viii, 516 p. ; 23 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-7204-2257-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001007770403321 |
Kino, A. | ||
Amsterdam [etc.] : North-Holland, 1970 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The foundations of intuitionistic mathematics, especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley |
Autore | Kleene, Stephen Cole <1909- > |
Pubbl/distr/stampa | Amsterdam : North-Holland Pub. Co., 1965 |
Descrizione fisica | viii, 206 p. ; 23 cm |
Disciplina |
511.3
519 |
Altri autori (Persone) | Vesley, Richard Eugene |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica e fondamenti
Fondamenti della logica matematica e probabilità |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002576370403321 |
Kleene, Stephen Cole <1909- > | ||
Amsterdam : North-Holland Pub. Co., 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|