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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------