Find a copy in the library
Finding libraries that hold this item...
Details
| Named Person: | Gerhard Gentzen |
|---|---|
| Material Type: | Thesis/dissertation |
| Document Type: | Book |
| All Authors / Contributors: |
Dag Prawitz |
| OCLC Number: | 375477 |
| Description: | 113 p. illus. 24 cm. |
| Series Title: | Acta Universitatis Stockholmiensis., Stockholm studies in philosophy ;, 3. |
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.
