Completeness before Post: Bernays, Hilbert, and the development of propositional logic

Richard Zach. Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bulletin of Symbolic Logic, 5(3):331-366, 1999. [doi]

Abstract

Abstract is missing.