An E-type Logic
| Authors | |
|---|---|
| Publication date | 1996 |
| Host editors |
|
| Book title | Logic, Language, and Computation |
| Series | Lecture Notes, 58 |
| Pages (from-to) | 555-570 |
| Publisher | Stanford, California: CSLI Publications |
| Organisations |
|
| Document type | Chapter |
| Note | Distributed by Cambridge University Press |
| Permalink to this page | |