@book{51023,
	author = {Shankar, N},
	title = {Metamathematics, machines, and Godel's proof},
	publisher = {CUP},
	year = {1994},
	address = {Cambridge:}
}