Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine...

"Einführung in die Mathematische Logik: Ein Lehrbuch" von Wolfgang Rautenberg ist ein umfassendes Werk, das sich mit den Grundlagen und fortgeschrittenen Themen der mathematischen Logik beschäftigt. Das Buch bietet eine systematische...

Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition,...

"Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik" von Wolfgang Rautenberg bietet eine umfassende Einführung in die Welt der Logik mit einem besonderen Fokus auf die klassische und...