@book{303534,
	author = {Pudlak, Pavel. and ProQuest (Firm)},
	title = {Logical foundations of mathematics and computational complexity},
	publisher = {Springer,},
	year = {2013.},
	series = {Springer monographs in mathematics},
	address = {New York :},
	edition = {1st ed.},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1205643}
}