Original language | Unknown |
---|---|
Title of host publication | Ways of Proof Theory |
Editors | Ralf Schindler |
Place of Publication | Frankfurt |
Publisher | Ontos Verlag |
Pages | 355-362 |
ISBN (Print) | 978-3-86838-087-3 |
Publication status | Published - 1 Jan 2010 |
Publication series
Name | Ontos Series in Matematical Logic |
---|---|
Publisher | Ontos-Verlag |