Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
Innehållsförteckning
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.