| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Logic Group Preprint Series |
| Number of pages | 78 |
| Publication status | Published - 2005 |
Reflection principles and provability algebras in formal arithmetic
L.D. Beklemishev
Research output: Book/Report › Book › Academic