Berechenbarkeit Berechnungsmodelle und Unentscheidbarkeit - Zimmermann, Karl-Heinz 1956-2023 (essentials, 2020)