Kategorie:Theorie der Registermaschinen/Beweise

Diese Kategorie ist eine mathematische Beweis-Kategorie.