Mathematische Logik mik Informatik-Anwendungen
By: Eberhard Bergmann, Helga Noll.
Contributors: Noll, Helga, 1936- joint author.
Series: Heidelberger Taschenbücher ; Bd. 187 : Sammlung Informatik
Publisher: Springer-Verlag
Published: 1977
Place of publication: Berlin; New York
Language: ger
Number of pages: 324
Subjects: Logic, Symbolic and mathematical.; Electronic data processing.
Notes: Bibliography: p. [304]-310.
Includes index.