Material zur Entscheidbarkeit u. Berechenbarkeit