Report: an examination of a decision procedure

DOI10.1090/S0002-9904-1961-10593-4zbMath0100.01004MaRDI QIDQ3281061

F. C. Oglesby

Publication date: 1961

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Begründung einer strengen Implikation
• An extended procedure in quantificational logic
• On the logic of quantification

This page was built for publication: Report: an examination of a decision procedure