@book{1563,
	author = {Kretzmann, Norman.},
	title = {Elements of formal logic.},
	publisher = {The Bobbs-Merrill},
	year = {1965.},
	address = {New York}
}