90 years of Gödel's incompleteness theorems: Logic and computation. - Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato (J. Log. Comput., 2024)