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

by R Zach
Venue:The Bulletin of Symbolic Logic