Publisher : Springer-Verlag - Berlin ; New York
A book which efficiently presents the basics of classical and constructive propositional and predicate logic. It contains a complete treatment of elementary classical logic on the basis of Gentzen's Natural Deduction and the traditional two-valued semantics, culminating in the completeness theorems and normal form theorems. The material is illustrated by a choice of exercises, ranging from simple applications of the definitions to the more sophisticated problems. Only minimal background knowledge in mathematics is demanded of the reader.
Includes bibliographical references (p. ) and index.