@book{1610,
	author = {Prior, Arthur N.},
	title = {Formal logic.},
	publisher = {Clarendon Press},
	year = {1955.},
	address = {Oxford}
}