Godehard Link ist Professor für Logik und Wissenschaftstheorie an der Ludwig-Maximilians-Universität München, verantwortlicher Dozent für den Bereich Logik im Reformstudiengang MPhil und affiliiertes Mitglied des Centrums für Informations- und Sprachverarbeitung (CIS).
4 หนังสืออิเล็กทรอนิกส์โดย Michael Rathjen
Godehard Link: One Hundred Years of Russell´s Paradox
The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the famous Russell Para …
PDF
อังกฤษ
DRM
€260.00
Reinhard Kahle & Michael Rathjen: Gentzen’s Centenary
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring l …
PDF
อังกฤษ
€149.79
Reinhard Kahle & Michael Rathjen: The Legacy of Kurt Schütte
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that pr …
PDF
อังกฤษ
€117.69
Marco Benini & Olaf Beyersdorff: MATHEMATICS FOR COMPUTATION (M4C)
The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computati …
EPUB
อังกฤษ
DRM
€119.99
