Find a copy in the library
Finding libraries that hold this item...
Details
| Named Person: | Gerhard Gentzen |
|---|---|
| Document Type: | Book |
| All Authors / Contributors: |
Dag Prawitz |
| ISBN: | 0486446557 9780486446554 |
| OCLC Number: | 61296001 |
| Notes: | Originally published: Stockholm : Almqvist & Wiksell, 1965. |
| Description: | viii, 113 p. : ill. ; 22 cm. |
| Series Title: | Dover books on mathematics |
| Responsibility: | Dag Prawitz. |
| More information: |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Natural deduction : a proof-theoretical study".
Be the first.
