The following pages link to (Q5600855):
Displaying 6 items.
- Brouwer's constructivism (Q1220903) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
