Skip to main content
PBS logo
 
 

Search - Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland (German Edition)

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland (German Edition)
Gentzens Problem Mathematische Logik im nationalsozialistischen Deutschland - German Edition
Author: Eckart Menzler-Trott
Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens über das natürliche Schliessen, der Sequenzenkalkül und di...  more »
ISBN-13: 9783764365745
ISBN-10: 3764365749
Publication Date: 11/23/2001
Pages: 411
Edition: 1
Rating:
  ?

0 stars, based on 0 rating
Publisher: Birkhäuser Basel
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review