1 Buch
Birkhäuser Verlag, Basel 2001
ISBN 9783764365745, Gebunden, 429 Seiten, 43.00 EUR
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 vor allem in…