Kurzbeschreibung
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Kann man das Auffinden mathematischer Beweise Computern übertragen? Antworten auf derlei Fragen stehen im Mittelpunkt dieser systematischen Einführung in die mathematische Logik erster Stufe. Die Lektüre setzt keine spezifischen mathematischen Vorkenntnisse voraus.
Über den Autor
Heinz-Dieter Ebbinghaus und Jörg Flum forschen und lehren am Institut für Mathematik der Universität Freiburg, Wolfgang Thomas ist am Institut für Informatik der Universität Kiel tätig.
