Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
| 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
| 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
| 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 | ||
| ||