× Einführung in die Mathematische LogikEin Lehrbuch mit Berücksichtigung der Logikprogrammierungvon Wolfgang RautenbergProfessor Wolfgang Rautenberg lehrt Mathematik an der Freien Universität Berlin.