@book{1492,
	author = {Bierman, Arthur Kalmer},
	title = {Logic},
	publisher = {Holden-Day},
	year = {1964.},
	address = {San Francisco}
}