000			00722nam a2200217 a 4500
001			A30009 16021
003			dti
005			20170506185320.0
008			s1988 000 0 eng
020			_a093707330X
100	1		_aBenthem, Johan van.
245	1	2	_aA manual of intensional logic / _cby Johan van Benthem.
250			_a2nd ed.
260			_aStanford, Calif. : _bCenter for the Study of Language and Information, _c1988.
300			_aix, 135 p.
440		0	_aCSLI Lecture Notes ; No. 1.
500			_aIncludes bibliographical references and index.
500			_aContents : Classical theories--Recent developmnets : computational applications.
650		0	_aLogic.
650		0	_aLanguage and logic.
999			_c376728 _d376728