@book{118019,
	author = {Clark, Malcolm,},
	title = {Logic and system;},
	publisher = {Nijhoff,},
	year = {1971.},
	address = {The Hague,}
}