Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
[Logic: An Introduction to Propositional and Predicate Logic]
Series:De Gruyter Studium
Aims and Scope
This introduction to logic consists of basic and advanced courses. The basic course introduces propositional and predicate logic as well as the logical reconstruction of natural language arguments. The advanced course encompasses higher-level areas of predicate logic including central metalogical results for completeness, incompleteness, and (un)decidability. Numerous practice examples with solutions aid in learning the material.