Original language | Unknown |
---|---|
Title of host publication | Ways of Proof Theory |
Editors | R Schindler |
Place of Publication | Heusenstamm, Germany |
Publisher | Ontos Verlag |
Pages | 315-340 |
ISBN (Print) | 978-3-86838-087-3 |
Publication status | Published - 1 Jan 2010 |
Publication series
Name | Ontos Series in Mathematical Logic |
---|---|
Publisher | Ontos Verlag |