Es mangelt zwar nicht an Einführungen in die Logik, sei es für Philosophen, für Informatiker oder für Linguisten. Viele sind großartig - was Linguisten betrifft, komme ich bei "Logic, Language, and Meaning" von LTF GAMUT ins Schwärmen. Aber in Bezug auf
Vollständigkeitsbeweise für Kalküle habe ich kein Buch lieben gelernt. Didaktisch am nettesten fand ich bisher noch das alte "Einführung in die moderne Logik" von Kutschera/Breitkopf (am ehesten für Philosophen) von 1971. (Ich weiß nicht, ob spätere Auflagen eine Verbesserung waren.) Hat jemand didaktisch mit bestimmten Büchern speziell mit Bezug auf Beweise von Metatheoremen gute Erfahrungen gemacht? Wie gesagt, geht es mir um die Metatheoreme, die erst etwas über den Wert der betr. formalen Sprachen mit Blick auf das Argumentieren aussagen.
