Bücher
Suchwort: "Informatik"
Rubrik: Sachbuch, Sachbuch: Biografien - 1 Buch
Birkhäuser Verlag, Basel 2001
ISBN 9783764365745, Gebunden, 429 Seiten, 43.00 EUR
[…] der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in wichtigen Teilgebieten…