1999-09-012022-01-28 rzach Completeness before Post: Bernays, Hilbert, and the development of propositional logic Source Bulletin of Symbolic Logic 5 (1999) 331–366.