000			00607pam a2200193a 44500
008			160408b1991 xxu||||| |||| 00| 0 eng d
020			_a0444890009
082			_a511.3 _bV26L
100			_aVan Benthem, Johan
245	1		_aLANGUAGE IN ACTION _cCATEGORIES LAMBDAS AND DYNAMIC LOGIC
260			_aAmsterdam _bNorth-Holland _c1991
300			_ax,349
440			_aStudies In Logic And The Foundations Of Mathematics _vV. 130
500			_aIncludes Bibliographical References And Index
650			_aLogic, Symbolic And Mathematical
650			_aType Theory
964			_gCIRC
997			_aA116747 C
999			_c321117 _d321117