Ebook: Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

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.

• für Einführungen und für Aufbaukurse
• bietet anfängergerechte Einführung und Heranführung an fortgeschrittene formale Logik
• Erklärung der Zusammenhänge zwischen alternativen logischen Notationen und Techniken
• Zahlreiche Übungsbeispiele mit Lösungen