@book{142736,
	author = {Shankar, N.},
	title = {Metamathematics, machines and G�odel's proof /},
	publisher = {Cambridge University Press,},
	year = {c1994.},
	address = {Cambridge :},
	note = {Includes index.}
}