• Matthias Baaz
  • Alexander Leitsch
Part of the Trends in Logic book series (TREN, volume 34)


In this chapter we present some basic concepts which will be needed throughout the whole book. We assume that the the reader is familiar with the most basic notions of predicate logic, like terms, formulas, substitutions and interpretations.


  1. 31.
    C.L. Chang, R.C.T. Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, NY, 1973MATHGoogle Scholar
  2. 38.
    G. Gentzen: Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, pp. 405–431, 1934–1935.MathSciNetCrossRefGoogle Scholar
  3. 61.
    A. Leitsch: The Resolution Calculus. EATCS Texts in Theoretical Computer Science. Springer, Berlin, 1997.Google Scholar
  4. 62.
    D. Loveland: Automated Theorem Proving – A Logical Basis. North-Holland, Amsterdam, 1978.MATHGoogle Scholar
  5. 69.
    J.A. Robinson: A Machine Oriented Logic Based on the Resolution Principle. Journal of the ACM 12(1), pp. 23–41, 1965.MATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Vienna University of TechnologyViennaAustria
  2. 2.Vienna University of TechnologyViennaAustria

Personalised recommendations