@book{126116,
	author = {Carney, James D.},
	title = {Introduction to symbolic logic /},
	publisher = {Prentice-Hall,},
	year = {1970.},
	address = {Englewood Cliffs, N.J.:}
}