A proof procedure for quantification theory

DOI10.2307/2266900zbMath0068.01401OpenAlexW2097038024MaRDI QIDQ3229411

W. V. Quine

Publication date: 1955

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266900

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Jean van Heijenoort's contributions to proof theory and its history ⋮ Beweisalgorithmen für die Prädikatenlogik ⋮ On the relations between SAT and CSP enumerative algorithms ⋮ From Schütte’s Formal Systems to Modern Automated Deduction

Cites Work

• On the Completeness of Quantification Theory