Restricted Truth Predicates in First-Order Logic | Thomas Bolander
| | Type | Conference paper [With referee] | | Conference | The LOGICA 2002 Yearbook | | Year | 2002 pp. 41-55 | | Publisher | Filosofia, Prague | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|