Gödelisierung.
Series: Bericht (Universität Karlsruhe. Fakultät für Informatik) -- 29/80
Publisher: Universität Karlsruhe, Fakultät für Informatik
Published: 1980
Place of publication: Karlsruhe
Language: eng
Number of pages: 58