Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
From MaRDI portal
Publication:2539037
zbMath0195.01201MaRDI QIDQ2539037
No author found.
Publication date: 1970
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
00B25: Proceedings of conferences of miscellaneous specific interest
Related Items
IN MEMORIAM: SOLOMON FEFERMAN (1928–2016), Well-Ordering Principles in Proof Theory and Reverse Mathematics, Proof-relevance in Bishop-style constructive mathematics, Direct spectra of Bishop spaces and their limits, Unnamed Item, Bibliography of John Myhill, Relevant analytic tableaux, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Natural well-orderings