Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smory...
Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smory...
Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor.
About this item
Full title
Author / Creator
Publisher
Providence, RI : American Mathematical Society ; [London] : London Mathematical Society, c2007.
Uniform title
Call Numbers
N510.92/29
Record Identifier
MMS ID
Language
English
German
(Language of original)Formats
Physical Description
Physical content
xxii, 440 p. : ill. ; 27 cm.
Publication information
Publisher
Providence, RI : American Mathematical Society ; [London] : London Mathematical Society, c2007.
Edition
[English ed.].
Place of Publication
Rhode Island
Date Published
c2007.
Subjects
More information
Scope and Contents
Summary
"Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called "proof theory", but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduc...
Alternative Titles
Full title
Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor.
Authors, Artists and Contributors
Author / Creator
Notes
General note
History of mathematics ; v. 33.
History of mathematics ; v. 33.
Includes bibliographical references and index.
Language note
Translated from the German.
Contextual Information
Date Copyright
c2007.
Identifiers
Primary Identifiers
Call Numbers
N510.92/29
Record Identifier
74VK3gEZg7bg
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VK3gEZg7bg
Other Identifiers
ISBN
0821835505 (alk. paper)
9780821835500 (alk. paper)
DDC
510.92
MMS ID
991023827049702626
