@book{103900,
	author = {Detlefsen, Michael,},
	title = {Proof, logic, and formalization /},
	publisher = {Routledge,},
	year = {1992.},
	address = {London ;}
}