@book{30656,
	author = {Hughes, R. I. G.},
	title = {A philosophical companion to first-order logic /},
	publisher = {Hackett Pub. Co.,},
	year = {c1993.},
	address = {Indianapolis :}
}