| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Logic Group Preprint Series 259 |
| Publication status | Published - 2007 |
Closed Fragments of Provability Logics of Constructive Theories
Research output: Book/Report › Report › Academic