@book{1689,
	author = {Makinson, David,},
	title = {Topics in modern logic /},
	publisher = {Methuen; distributed by Harper & Row Publishers, inc., Barnes and Noble Import Division},
	year = {1973.},
	address = {London,}
}