Pages that link to "Item:Q4068683"
From MaRDI portal
The following pages link to Collected works. Vol. 1: Philosophy and foundations of mathematics (Q4068683):
Displaying 11 items.
- Gödel and Intuitionism (Q5250219) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- (Q5536615) (← links)
- (Q5793123) (← links)
- Proof vs Provability: On Brouwer’s Time Problem (Q6043024) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
- Disjunctive syllogism without \textit{ex falso} (Q6612869) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
- The geometer's gaze: on H. G. Zeuthen's holistic epistemology of mathematics (Q6623921) (← links)
- Choice sequences and the continuum (Q6653059) (← links)