Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Conference on intuitionism and proof theory <1968 ; Buffalo>
|
| Titolo: |
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
|
| Pubblicazione: | Amsterdam : North-Holland, 1970 |
| Descrizione fisica: | viii, 516 p. ; 23 cm. |
| Disciplina: | 511.3 |
| Soggetto topico: | Intuitionistic mathematics - Congresses |
| Logic - Congresses | |
| Proof theory - Congresses | |
| Classificazione: | AMS 03-06 |
| AMS 03F03 | |
| AMS 03F55 | |
| Altri autori: | Kino, Akiko Myhill, John Vesley, Richard Eugene |
| Altri autori (Enti): | State University of New York <Buffalo> |
| Note generali: | Includes bibliographies |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991001041079707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90