The following pages link to (Q4630799):
Displayed 4 items.
- Reasoning about proof and knowledge (Q1625594) (← links)
- The Context of Inference (Q5208107) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)