Skip to main content

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

  • 1st Edition, Volume 60 - January 1, 1970
  • Latest edition
  • Author: Lev D. Beklemishev
  • Language: English

Readership

Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Product details

  • Edition: 1
  • Latest edition
  • Volume: 60
  • Published: April 1, 2000
  • Language: English

About the author

LB

Lev D. Beklemishev

Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.

View book on ScienceDirect

Read Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 on ScienceDirect