Einführung in die mathematische Logik
Subtitle: ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
By: Wolfgang Rautenberg
Publisher: Vieweg
Published: 1996
Place of publication: Wiesbaden
Language: ger
Number of pages: 250
ISBN-13: 9783528067540
Subjects: Symbolic and mathematical Logic; Logique symbolique et mathématique; Lehrbuch; Mathematische Logik
Notes: Includes bibliographical references (pages 235-240) and index.