Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth.
By: [Von] Christian Fenske.
Series: Forschungsberichte des Landes Nordrhein-Westfalen,; Nr. 1740; "Schriften der IIM, Serie A, Nr. 13"
Publisher: Westdeutscher Verlag
Published: 1967
Place of publication: Köln; Opladen
Language: ger
Number of pages: 69
Subjects: Computer programming; Logic, Symbolic and mathematical
Notes: Bibliography: p. 69.