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.

Description
Physical Description:	xv, 202 pages ; 26 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	052142027X (hardback)