@book{39431,
	author = {Kleene, Stephen Cole},
	title = {Mathematical logic},
	publisher = {Wiley},
	year = {[1967]},
	address = {New York},
	note = {920306}
}