@book{51009,
	author = {Smullyan, Raymond M. and ebrary, Inc.},
	title = {Recursion theory for metamathematics},
	publisher = {Oxford University Press,},
	year = {1993.},
	series = {Oxford logic guides ;},
	address = {New York :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10086799}
}