The Road to Modern Logic—An Interpretation
From MaRDI portal
Publication:4328793
DOI10.2307/2687794zbMath1005.03003OpenAlexW2109912207WikidataQ55899225 ScholiaQ55899225MaRDI QIDQ4328793
Publication date: 23 February 2003
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0704-toc.htm
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (13)
Formulations of the inclusion–exclusion principle from Legendre to Poincaré, with emphasis on Daniel Augusto da Silva ⋮ Metric Geometries in an Axiomatic Perspective ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ Axiomatizing relativistic dynamics without conservation postulates ⋮ Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 ⋮ Twin paradox and the logical foundation of relativity theory ⋮ Prolegomena to any theory of proof simplicity ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ Hilbert, logicism, and mathematical existence
This page was built for publication: The Road to Modern Logic—An Interpretation
