Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
- 1st Edition, Volume 60 - April 1, 2000
- Author: Lev D. Beklemishev
- Language: English
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 5 4 7 3 - 8
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
- Edition: 1
- Volume: 60
- Published: April 1, 2000
- Language: English
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.Read Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 on ScienceDirect