On the logic of quantification
From MaRDI portal
Publication:5834317
DOI10.2307/2267200zbMath0060.02203OpenAlexW2071292168MaRDI QIDQ5834317
Publication date: 1945
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267200
Related Items (10)
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Report: an examination of a decision procedure ⋮ Some theorems on definability and decidability ⋮ A note on the theory of quantification ⋮ An extended procedure in quantificational logic ⋮ Simplified foundations for mathematical logic ⋮ Schemata: The Concept of Schema in the History of Logic
This page was built for publication: On the logic of quantification
