Natural deduction : a proof-theoretical study / Dag Prawitz.
By: Prawitz, Dag.
Material type: TextSeries: Dover books on mathematics. Publisher: Mineola, N.Y. : Dover Publications, 2006Edition: Dover ed.Description: viii, 113 p., $ 9.95 ill. ; 22 cm.ISBN: 0486446557 (pbk.); 9780486446554.Subject(s): Gentzen, Gerhard | Logic | Logic, Symbolic and mathematical | Modality (Logic)DDC classification: 162 Online resources: Publisher descriptionItem 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.