< Mathematische Logik < Gemischte Satzabfrage < 20

Formuliere die folgenden Sätze.

  1. /Fakt/Name
  2. Der Satz über die Vorgängereigenschaft in einem Peano-Halbring.
  3. 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.