Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/ edited by A. Kino, J. Myhill and R. E. Vesley.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam: North-Holland, 1970.Description: viii, 516 p.: 23 cmSubject(s): DDC classification:- 511.3 I61
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 I61 1970 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099914 |
Includes bibliographies.
There are no comments on this title.