@book{130951,
	title = {Kurt Godel Collected works},
	publisher = {Oxford University Press},
	year = {1986},
	address = {Oxford}
}