The evolution of logic
From MaRDI portal
continuum hypothesishistory of modern logiclogic and philosophymodel theoryMorley's theoremPost's problemset theory
History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)
Recommendations
Cited in
(7)- Rethinking logic. Logic in relation to mathematics, evolution, and method
- The middle ground-ancestral logic
- Philosophy of logic
- Must we believe in set theory?
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
- Ancestral Logic: A Proof Theoretical Study
- scientific article; zbMATH DE number 5832443 (Why is no real title available?)
This page was built for publication: The evolution of logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3164469)