Metamathematics, machines, and Gödel's proof /

Bibliographic Details
Main Author:	Shankar, N. (Natarajan)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1994.
Series:	Cambridge tracts in theoretical computer science ; 38.
Subjects:	Gödel's theorem > Data processing. Automatic theorem proving.

Evans: Library Stacks