Richard Zach, Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic, The Bulletin of Symbolic Logic, Vol. 5, No. 3 (Sep., 1999), pp ...

From classical logic, it deals with propositional and first-order inference from both semantic and axiomatic viewpoints, with also some material on first-order theories including celebrated theorems ...

We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of $\scr {L}^ {P}$ and show that this translation allows us to ...

From logic, it begins by reviewing and extending basic material on propositional and first-order logic from both semantic and axiomatic viewpoints, continues with the celebrated limitative theorems of ...