Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre papier |
| Idioma: | Anglais |
| Publicado: |
Amsterdam ; London :
North-Holland
cop. 1970.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Descrición Física: | 1 vol. (VIII-516 p.) ; 22 cm. |
|---|---|
| Bibliografía: | Notes bibliogr. |
| ISBN: | 0720422574 |
| ISSN: | 0049-237X |