@book{1567,
	author = {Lorenzen, Paul.},
	title = {Formal logic},
	publisher = {Holland D. Reidel Pub.},
	year = {1965.},
	address = {Dordrecht}
}