The following pages link to (Q3447197):
Displaying 5 items.
- Representations and the foundations of mathematics (Q2134273) (← links)
- More on Putnam's models: a reply to Bellotti (Q2461358) (← links)
- The Logic of Justification (Q2971696) (← links)
- Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)