Klassische Logik Einführung mit interaktiven Übungen - Lampert, Timm 1969- (De Gruyter, 2004)
Includes bibliographical references and index
Main description: Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format