@book{2487,
	author = {Rosser, J. B.},
	title = {Logic for mathematicians.},
	publisher = {McGraw-Hill},
	year = {1953.},
	address = {New York}
}