Grundzüge der Logik

Viac o knihe

Quines weit verbreitetes Lehrbuch der modernen formalen Logik behandelt grundlegende Konzepte und Techniken der Logik. Es bietet eine umfassende Einführung in die formalen Systeme, einschließlich der natürlichen Deduktion und der Prädikatenlogik. Besondere Aufmerksamkeit gilt den Beziehungen zwischen der höheren Mengenlehre und der elementaren Logik von Begriffen. Das Buch enthält aktualisierte Notationen und selektive Antworten auf Übungen, die das Verständnis der behandelten Themen unterstützen. Die neuen Diskussionen über Prädikats-Funktoren erweitern die Perspektiven auf logische Strukturen und deren Anwendungen.