GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE
From MaRDI portal
Publication:2795206
DOI10.1017/bsl.2014.29zbMath1345.03008OpenAlexW2315305704MaRDI QIDQ2795206
Publication date: 18 March 2016
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2014.29
HilbertRussellFregeBrouwerpredicate logicquantifiersWittgensteinGentzenSkolemHeytingBernaysGoodstein
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)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinatorial analysis of proofs in projective and affine geometry
- The word and generator problems for lattices
- Gentzen's Proof Systems: Byproducts in a Work of Genius
- ON THE NATURE OF MATHEMATICAL SYSTEMS
- Gentzen's Proof of Normalization for Natural Deduction
- Logic in the twenties: the nature of the quantifier
- Polynomial Time Uniform Word Problems
- Il silenzio delle sirene: La matematica greca antica
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
- A Formalization of Recursive Arithmetic
This page was built for publication: GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE