An overview of interpretability logic
| Authors |
|
|---|---|
| Publication date | 12-03-1997 |
| Series | Research report Logic Group Preprint Series, 174 |
| Number of pages | 53 |
| Publisher | Utrecht: Department of Philosophy, University of Utrecht |
| Organisations |
|
| Document type | Report |
| Language | English |
| Downloads |
preprint174
(Submitted manuscript)
|
| Permalink to this page | |