@book{25580,
	author = {Langer, Susanne Katherina Knauth,},
	title = {An introduction to symbolic logic.},
	publisher = {Dover Publications},
	year = {[1953]},
	address = {New York,},
	edition = {2d ed. (rev.)}
}