This book comprises a basic and advanced course. The basic course introduces into propositional and predicate logic and the reconstruction of natural language arguments. The advanced course deals with predicate logic including metalogical results about (in)completeness and (un)decidability. Numerous exercises with downloadable solutions deepen the content. The second edition offers corrections of mistakes and didactical improvements.
Gerhard Schurz
Semantik Logik Aussagenlogik Metalogik Prädikatenlogik Semantics logic metalogic predicate logic