| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Universiteit Utrecht |
| Number of pages | 25 |
| Volume | 008 |
| Edition | Artificial Intelligence Preprint Series |
| Publication status | Published - 1999 |
The Interpretability Logic of all Reasonable Arithmetical Theories
J.J. Joosten, A. Visser
Research output: Book/Report › Report › Academic