@book{230138,
	author = {Detlefsen, Michael, and ProQuest (Firm)},
	title = {Proof, logic, and formalization},
	publisher = {Routledge,},
	year = {1992.},
	address = {London ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=242043}
}