000			00378nam a2200157Ia 4500
008			200312s9999||||xx |||||||||||||| ||und||
020			_a9780486490731
082			_a511.36 _bTak
100			_aTakeuti, Gaisi _9732
245		0	_aProof Theory
250			_a2/e
260			_aNew York _bDover Publications _c2013
300			_ax, 490p.
650			_aProof Theory _9733
942			_cBK
999			_c1118 _d1118