The following pages link to (Q3214887):
Displaying 5 items.
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
