Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

Über den Autor
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.