Dirk W. Hoffmann

Available identifiers

Publication	Date of Publication	Type
Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historic proof. Translated from the German	2024-11-05	Paper
Introduction to information and coding theory	2024-06-26	Paper
Einführung in die Informations- und Codierungstheorie	2024-02-22	Paper
Forcing. An introduction to the mathematics of independence proofs	2020-01-07	Paper
Frontiers of mathematics. A journey through the key areas of mathematical logic	2018-04-11	Paper
Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof	2017-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4927429	2013-06-20	Paper
Limits of mathematics. A journey through the core subjects of mathematical logic	2013-04-12	Paper
Die Gödel’schen Unvollständigkeitssätze	2012-08-21	Paper
Theoretical informatics.	2011-06-23	Paper
Limits of mathematics. A journey through the core subjects of mathematical logic.	2011-01-10	Paper
Theoretical informatics	2009-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5434192	2008-01-03	Paper
Foundations of technical computer science.	2007-02-28	Paper
Automatic design error correction of combinatorial circuits	2001-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4494390	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4945211	2000-09-05	Paper

This page was built for person: Dirk W. Hoffmann