|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2020
Anzahl der Publikationen: 1
2020
Oliva, Paulo und Xu, Chuangjie
(2020):
On the Herbrand functional interpretation.
In: Mathematical Logic Quarterly, Bd. 66, Nr. 1: S. 91-98