@book{90470,
	author = {Halberstadt, William Harold},
	title = {An introduction to modern logic},
	publisher = {Harper},
	year = {[1960]},
	address = {New York}
}