@book{21464,
	author = {Rosenbloom Paul, C.},
	title = {Elements of mathematical logic},
	year = {1950},
	edition = {First}
}