000			00643nam a2200193 a 4500
001			A30009 16025
003			dti
005			20170506185320.0
008			s1992 000 0 eng
020			_a0937073830
100	1		_aUngar, A.M.
245	1	0	_aNormalization, cut-elemention and the theory of proofs / _cby A.M. Ungar.
260			_aStanford, Calif. : _bCenter for the Study of Language and Information, _c1992.
300			_av, 236 p.
440		0	_aCSLI Lecture Notes ; No. 28.
500			_aIncludes bibliographical references and index.
500			_aContents : Background--Comparing NJ with LJ.
650		0	_aProof theory.
999			_c376732 _d376732