zbMATH link

Code ISNI : 0000000358372328

Code ORCID : 0000-0002-4304-288X

https://www.uni-muenster.de/Logik/en/hils/

WWU
Westfälische Wilhelms-Universität Münster

Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstr. 62, D-48149 Münster, Germany