< Mathematische Logik < Gemischte Satzabfrage < 20
Formuliere die folgenden Sätze.
- /Fakt/Name
- Der Satz über die Vorgängereigenschaft in einem Peano-Halbring.
- Der Satz über das Halteproblem.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.