000			00676nam a2200205 a 4500
001			A30009 17018
003			dti
005			20170506185354.0
008			s1996 000 0 eng
020			_a0521572231
100	1		_aTroelstra, A.S.
245	1	0	_aBasic proof theory / _cby A.S. Troelstra, H. Schwichtenberg.
260			_aCambridge, N.Y. : _bCambridge University Press, _c1996.
300			_axi, 343 p.
440		0	_aCambridge Tracts in Theoretical Computer Science.
500			_aIncludes bibliographical references and index.
500			_aContents : N-systems and H-systems--Gentzen systems.
650		0	_aProof theory.
700	1		_aSchwichtenberg, H.
999			_c377538 _d377538