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

von Wolfgang Rautenberg Taschenbuch Details (Deutschland) ISBN-13: 978-3-528-06754-0 ISBN-10: 3-528-06754-3 Vieweg+Teubner Verlag · 1995