Classical mathematics
Top View
- The Theory of the Foundations of Mathematics - 1870 to 1940
- Intuitionistic Mathematics and Logic 11
- The Philosophies of Mathematics
- Proof-Theoretic Semantics for Classical Mathematics
- David Hilbert's Lectures of Arithmetic and Logic on the Foundations 19 71
- Classical and Constructive Logic
- David Hubert and His Mathematical Work
- The Crisis in the Foundations of Mathematics
- A Defence of Predicativism As a Philosophy of Mathematics
- Brown Tackles Important New As Well As Enduring Questions in the Mathematical Sciences
- Weyl's Predicative Classical Mathematics As a Logic-Enriched
- Numbers and Functions in Hilbert's Finitism
- On What There Is in Philosophy of Mathematics
- Intuitionism and Philosophy
- 293038095.Pdf
- Error and Predicativity
- Carnap's Defense of Impredicative Definitions
- Semantic and Mathematical Foundations for Intuitionism