Principles of Mathematical Logic

Principles of Theoretical Logic is the translation into English of the seminal 1928 work of David Hilbert and Wilhelm Ackermann on the formalisation of logic, which is most well-known for introducing the now-standard formalisation of first-order logic in the Hilbert calculus. The text also dealt with propositional logic and the calculus of relations.

References

• David Hilbert and Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Principles of Theoretical Logic). Springer-Verlag, ISBN 0-8218-2024-9.
• Hendricks, Neuhaus, Petersen, Scheffler and Wansing (eds.) (2004). First-order logic revisited. Logos Verlag, ISBN 3-8325-0475-3. This volume is the proceedings of the workshop FOL-75 commemorating 75 years of Hilbert and Ackermann's contriubution.