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 Martin
• 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）

North-Holland Pub. Co., 1970

Note

Includes bibliographies

Details

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