Language in action : categories, lambdas and dynamic logic
Main Author: | Van BenthemlhJohan |
---|---|
Published: |
Amsterdam:
Elsevier Science B.V.,
1991.
|
Series: | Studies in logic and the foundations of Mathematics; vol.130
|
Similar Items
-
Handbook of logic and language edited by Johan van Benthem, Alice ter Meulen.
Published: (1997) -
Handbook of logic and language [edited by] Johan van Benthem, Alice ter Meulen.
Published: (2011) -
An Introduction to the Language of Category Theory by Steven Roman.
by: Roman, Steven., et al.
Published: (2017) -
Johan van Benthem on Logic and Information Dynamics edited by Alexandru Baltag, Sonja Smets.
Published: (2014) -
Language Bill VanPatten.
by: VanPatten, Bill
Published: (2018)