Language in Action. Categories, Lambdas and Dynamic Logic
| Authors | |
|---|---|
| Publication date | 1991 |
| ISBN |
|
| Series | Studies in Logic and the Foundations of Mathematics, 130 |
| Publisher | Noord-Holland: Elsevier |
| Organisations |
|
| Document type | Book |
| Permalink to this page | |