Gazzari, René
(2020-09-03)
Mathematische Grundlagen und wesentliche Methoden einer formalen Theorie von Vorkommen und Substitutionen werden anhand der Theorie von Vorkommen von Termen in Termen (einer erststufigen formalen Sprache der Logik) eingeführt. ...