Skip to main content
PBS logo
 
 

Search - Logic's Lost Genius (History of Mathematics)

Logic's Lost Genius (History of Mathematics)
Logic's Lost Genius - History of Mathematics
Author: Eckart Menzler-Trott
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 dedu...  more »
ISBN-13: 9780821835500
ISBN-10: 0821835505
Publication Date: 11/21/2007
Pages: 442
Edition: English Ed
Rating:
  ?
0 stars, based on 0 rating
Publisher: American Mathematical Society
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.