Part of the Springer Undergraduate Mathematics Series book series (SUMS)
Proof trees are defined, and the system of natural deduction is introduced. Several examples of deductions are given. The completeness theorem (Henkin-style) is proved. Skolem theories and conservative extensions are treated.
- 14.Dawson, J.W.: Logical Dilemmas – The Life and Work of Kurt Gödel. Peters, Wellesley (1997)Google Scholar
- 54.Menzler–Trott, E.: Logic’s Lost Genius: The Life of Gerhard Gentzen. History of Mathematics, vol. 33. American Mathematical Society and London Mathematical Society, Providence (2007)Google Scholar
© Springer Nature Switzerland AG 2018