511.3 / V26L
Van Benthem, Johan
LANGUAGE IN ACTION
/ CATEGORIES LAMBDAS AND DYNAMIC LOGIC
.- Amsterdam: North-Holland, 1991
.- x,349 .
.- ( Studies In Logic And The Foundations Of Mathematics V. 130
Includes Bibliographical References And Index
ISBN: 0444890009
Subject Headings:
Logic, Symbolic And Mathematical;
Type Theory;
Copy Details:
Acc. No.: A116747, Full Call No.: 511.3 V26L, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------