Zach, Richard, cCompleteness before Post: Bernays, Hilbert, and the Development of Propositional Logicd, Bulletin of Symbolic Logic 5 (1999), 3313366
V. Peckhaus, zbMATH Open, Zbl. 0942.03002 (2000).