Abstract
This chapter presents nine itineraries in the history of mathematical logic from the period 1900–1935. By focusing on a narrower range of topics, the chapter improves on the existing literature on the history of logic. The itineraries include: metatheoretical properties of axiomatic systems; Bertrand Russell's mathematical logic; Zermelo's axiomatization of set theory and related foundational issues; the theory of relatives and Löwenheim's Theorem; logic in the Hilbert school; proof theory and arithmetic; intuitionism and many-valued logics; and semantics and model-theoretic notions.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
