Nichttheoreme
Subtitle: eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen
By: Gerd Döben.
Series: Europäische Hochschulschriften. Reihe XX, Philosophie,; Bd. 317 =; Publications universitaires européennes. Série XX, Philosophie ;; vol. 317 =; European university studies. Series XX, Philosophy ;; vol. 317; Europäische Hochschulschriften.; Bd. 317.
Publisher: P. Lang; Lang AG International Academic Publishers, Peter
Published: 1990
Place of publication: Frankfurt am Main; New York
Language: ger
Number of pages: 241
Subjects: Recursion theory.; Automatic theorem proving.
Notes: Includes bibliographical references (p. 217-241).