| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Logic Group Preprint Series, Utrecht University, Department of Philosophy |
| Publication status | Published - 2006 |
Propositional proof systems and fast concistency provers
J.J. Joosten
Research output: Book/Report › Report › Academic