Normal view MARC view ISBD view

Natural deduction : a proof-theoretical study / Dag Prawitz.

By: Prawitz, Dag.
Material type: TextTextSeries: 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 description
List(s) this item appears in: 2016-03-11
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.