@book{4676,
	author = {Rosenbloom, Paul C.},
	title = {The elements of mathematical logic.},
	publisher = {Dover Publications,},
	year = {1950.},
	series = {The Dover series in mathematics and physics},
	address = {New York]},
	edition = {1st ed.}
}