@book{120133,
	author = {Lewis, Clarence Irving, and Langford, Cooper Harold,},
	title = {Symbolic logic,},
	publisher = {Dover Publications},
	year = {[1959]},
	address = {[New York]},
	edition = {2d ed.}
}