@book{118556,
	author = {Prior, Arthur N.},
	title = {Formal logic.},
	publisher = {Clarendon Press},
	year = {[1962]},
	address = {Oxford},
	edition = {2nd ed.}
}