The following pages link to (Q5600854):
Displaying 7 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)
- Creative subject, Beth models and neighbourhood functions (Q1908820) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- (Q4404863) (← links)
- Gödel and Intuitionism (Q5250219) (← links)