Das Formalisierungsproblem : der Weg vom Satz zur Formel / vorgelegt von Matthias Hagler. 2014
Inhalt