Original language | Undefined/Unknown |
---|---|
Title of host publication | Proof Theory. History and Philosophical Significance |
Editors | K.F. Jörgensen, V.F. Hendricks, S.A. Pedersen |
Place of Publication | Dordrecht |
Publisher | Kluwer |
Pages | 117-152 |
Number of pages | 36 |
Publication status | Published - 2001 |
Publication series
Name | |
---|---|
Number | 292 |
Keywords
- Wiskunde en Informatica (WIIN)
- Other mathematical specialities
- Wiskunde en computerwetenschappen
- Wiskunde: algemeen