TY - JOUR AU - Zach, Richard IS - 3 JA - Bulletin of Symbolic Logic PB - Jstor PY - 1999 TI - Completeness before Post: Bernays, Hilbert, and the development of propositional logic VL - 5 ER -