Schnittelimination in funktionaler Logik höherer Stufe / von Nika Pona. Wien, 2016
Inhalt