Natural deduction : a proof-theoretical study / Dag Prawitz.
By: Prawitz, Dag.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.3 PRA (Browse shelf) | Available | 9752 | ||
Book | Chennai Mathematical Institute | 511.3 PRA (Browse shelf) | Available | 6962 |
Total holds: 0
Originally published: Stockholm : Almqvist & Wiksell, 1965.
Includes bibliographical references (p. [106]-109) and indexes.