@book{62560,
	author = {Krajíˆcek, Jan},
	title = {Bounded arithmetic, propositional logic, and complexity theory /},
	publisher = {Cambridge University Press,},
	year = {1995},
	series = {Encyclopedia of mathematics and its applications},
	address = {Cambridge [England] ;},
	url = {http://www.loc.gov/catdir/toc/cam024/94047054.html}
}