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 |
Place of Publication | Dordrecht |
Publisher | Kluwer Academic Publishers |
Pages | 35-54 |
Number of pages | 20 |
ISBN (Print) | 0792365445 |
State | Published - 2000 |
Publication series
Name | Synthese library |
---|---|
Volume | 292 |
Keywords
- Proof theory
- תורת ההוכחה