@book{170907,
	author = {Church, Alonzo},
	title = {The constructive second number class},
	publisher = {Church},
	year = {1938},
	note = {Reprinted from Bulletn of the American Mathematical Society, April, 1938}
}