A Denotational Semantics For First-Order Logic
| Authors | |
|---|---|
| Publication date | 2000 |
| Journal | Lecture Notes in Computer Science |
| Volume | Issue number | 1861 |
| Pages (from-to) | 53-69 |
| Organisations |
|
| Document type | Article |
| Note | Proceedings title: Proceedings of the Computational Logic Conference (CL2000) Publisher: Springer Verlag Place of publication: Berlin |
| Permalink to this page | |