Language in action : categories, lambdas and dynamic logic
| Main Author: | |
|---|---|
| Published: |
Amsterdam:
Elsevier Science B.V.,
1991.
|
| Series: | Studies in logic and the foundations of Mathematics; vol.130
|
| Main Author: | |
|---|---|
| Published: |
Amsterdam:
Elsevier Science B.V.,
1991.
|
| Series: | Studies in logic and the foundations of Mathematics; vol.130
|