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

by Richard Zach
Venue:Bulletin of Symbolic Logic