Pages that link to "Item:Q2539037"

The following pages link to Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968 (Q2539037):

Displayed 9 items.

• Bibliography of John Myhill (Q1192339) ‎ (← links)
• Relevant analytic tableaux (Q1257473) ‎ (← links)
• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) ‎ (← links)
• Natural well-orderings (Q3772212) ‎ (← links)
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) ‎ (← links)
• Direct spectra of Bishop spaces and their limits (Q4989398) ‎ (← links)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) ‎ (← links)
• Proof-relevance in Bishop-style constructive mathematics (Q5055489) ‎ (← links)
• (Q5224157) ‎ (← links)