@book{30940,
	author = {Bochenski, Joseph M.},
	title = {A precis of mathematical logic /},
	publisher = {D. Reidel Pub. Co.,},
	year = {c1959.},
	series = {Synthese library},
	address = {Dordrecht ; Holland :}
}