Logic for Mathematics and Computer Science: LOGIC MATHS COMP SCI _c

Das Buch "Logic for Mathematics and Computer Science: LOGIC MATHS COMP SCI _c" von Stanley N. Burris ist ein umfassendes Lehrbuch, das die Grundlagen der Logik und ihre Anwendungen in Mathematik und Informatik erforscht. Es beginnt mit einer Einführung in die Aussagenlogik und Prädikatenlogik, gefolgt von einer Diskussion über formale Beweise, Mengenlehre und Funktionen. Das Buch behandelt auch fortgeschrittene Themen wie Rekursionstheorie, Gödels Unvollständigkeitssätze und Modelltheorie. Mit zahlreichen Übungen nach jedem Kapitel bietet dieses Buch eine solide Grundlage für Studierende in Mathematik und Informatik, sowie für alle, die an der Logik interessiert sind.