@book{126073,
	author = {Standley, Gerald B.},
	title = {New methods in symbolic logic},
	publisher = {Houghton Mifflin},
	year = {[1971]},
	address = {Boston,}
}