[FOM] gentzen

[Eckart Menzler]

Dear Professor Davis,

although you didn't mention Gentzen in your nice 
book "Engines of Logic" you might find some interest in:


Eckart Menzler-Trott:<?xml:namespace prefix = o 
ns = "urn:schemas-microsoft-com:office:office" />

Logic’s Lost Genius - The Life of Gerhard Gentzen.

Translated from the German by Craig Smorynski and Edward Griffor.

With appendices and two essays by Craig Smorynski and Jan von Plato.

American Mathematical Society: Providence, Rhode Island (USA)

and the London Mathematical Society: London (U.K.)

Series: History of Mathematics, vol. 33.

ISBN-10: 0-8218-3550-5

ISBN-13: 978-0-8218-3550-0

November 2007. 438 pages. Hardcover. US $ 89.- (Member Price: US $ 71.-)

<http://www.ams.org/bookstore?fn=20&arg1=hmathseries&item=HMATH-33>http://www.ams.org/bookstore?fn=20&arg1=hmathseries&item=HMATH-33

Best wishes,
Eckart


Jetzt Mails schnell in einem Vorschaufenster 
überfliegen. Dies und viel mehr bietet das 
<http://de.rd.yahoo.com/evt=40589/*http://de.docs.yahoo.com/ymail/landing.html>neue 
Yahoo! Mail .