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