| Original language | English |
|---|---|
| Title of host publication | Proof theory |
| Subtitle of host publication | History and philosophical significance |
| Editors | Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen |
| Publisher | Springer |
| Pages | 35-54 |
| Number of pages | 20 |
| ISBN (Print) | 978-0-7923-6544-0 |
| State | Published - 30 Sep 2000 |
Publication series
| Name | Synthese Library |
|---|---|
| Volume | 292 |