@book{24550,
	author = {Rosser, Barkley J},
	title = {Logic for Mathematicians},
	publisher = {McGraw Hill},
	year = {1953},
	address = {Singapore}
}