000			00563nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780130190772 _c(hbk)
082			_223 _a511.3 _bOLE
100			_aO'Leary, Michael L.
245		0	_aStructure of proof with logic and set theory
260			_aNew Jersey: _bPrentice Hall, _c2002
300			_axiv, 418 p.; _bill., index: _c24 cm.
650			_aNumber theory
650			_aPredicates and proofs
650			_aProof theory
650			_aPropositional Logic
650			_aStructure of proof
942			_2ddc _cBK
999			_c11692 _d11692