Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968

Author(s)

• Conference on Intuitionism and Proof Theory
• Kino, Akiko
• Myhill, John
• Vesley, Richard Eugene
• State University College at Buffalo

Bibliographic Information

Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968

Edited by A. Kino, J. Myhill and R. E. Vesley

（Studies in logic and the foundations of mathematics）

UT Back-in-Print Service, c1970

Note

Includes bibliographies

Reprint. Originally published: Amsterdam : North-Holland Pub. Co. , c1970

• NCID: BA3379545X
• LCCN: 77097196
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Tokyo]
• Pages/Volumes: viii, 516 p
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00099329