Report - Höherstufige Semantikformalismen: Typenlogik und λ … · 2 Dr. Michael Herweg, Einführung in die Logik, Univ. Heidelberg Stärken von PL-1 als semantischem Repräsentationsformalismus

Please pass captcha verification before submit form