@book{8845,
	author = {Takeuti, Gaisi},
	title = {Two applications of logic to mathematics},
	publisher = {Princeton University Press,},
	year = {1978},
	series = {Publications of the Mathematical Society of Japan, 13},
	address = {New Jersey:},
	note = {"Kano, memorial lectures, 3"}
}