|
|
Richard Statman (1977): Herbrand's Theorem and Gentzen's Notion of a Direct Proof
| Title: |
Herbrand's Theorem and Gentzen's Notion of a Direct Proof |
| Author(s): |
Richard Statman |
| Year: |
1977 |
| Booktitle: |
Handbook of Mathematical Logic |
| Editor(s): |
Jon Barwise |
| Chapter: |
D.3 |
| Pages: |
897-913 |
| Publisher: |
North Holland |
| Address: |
Amsterdam |
Concepts
|
|
