Metamathematics, machines, and Gödel's proof
By: N. Shankar.
Series: Cambridge tracts in theoretical computer science ;; 38
Publisher: Cambridge University Press
Published: 1994
Place of publication: Cambridge; New York
Language: eng
Number of pages: 202
Subjects: Gödel's theorem -- Data processing.; Automatic theorem proving.
Notes: Includes bibliographical references and index.