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
|
| LEADER | 00605cam a2200217 7i4500 | ||
|---|---|---|---|
| 001 | 0000001869 | ||
| 005 | 20010224090000.0 | ||
| 020 | 0 | 0 | |a 0444890009 |
| 090 | 0 | 0 | |a P 39 |b V217 |
| 100 | 2 | 1 | |a Van BenthemlhJohan |q (J.F.A.K)ld1949 |
| 245 | 1 | 0 | |a Language in action : |b categories, lambdas and dynamic logic |c John Van Benthem. |
| 260 | 0 | 0 | |a Amsterdam: |b Elsevier Science B.V., |c 1991. |
| 300 | # | # | |a 349p; |c 23cm. |
| 490 | 0 | 0 | |a Studies in logic and the foundations of Mathematics; vol.130 |
| 999 | |a 1000399224 |b Book |c Open Shelf |e KOLEKSI TERBUKA | ||