@book{35883,
	author = {Barkley Rosser, J},
	title = {Logic for Mathematicians},
	publisher = {Mcgraw-Hill Book Company},
	year = {1953},
	address = {New York}
}