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

## Source

Bulletin of Symbolic Logic 5 (1999) 331–366.