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):

Displaying 4 items.

• Bibliography of John Myhill (Q1192339) (← links)
• Relevant analytic tableaux (Q1257473) (← links)
• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)