000			00695nam a2200217Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780691160443 _c(pbk)
082			_223 _a511.3 _bLOV
100			_aLoveland, Donald W.
245		0	_aThree views of logic : mathematics, philosophy, and computer science
260			_aPrinceton: _bPrinceton University Press, _c2014
300			_axv, 322 p.; _bill.: _c25 cm.
650			_aLogic, Symbolic and mathematical
650			_aComputable functions
650			_aMathematics -- Philosophy
650			_aNonclassical mathematical logic
650			_aProof theory
700			_aHodel, Richard E .
700			_aSterrett, S. G.
942			_2ddc _cBK
999			_c18163 _d18163