Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Buchholz, Wilfried (1975): Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. In: Archiv für mathematische Logik und Grundlagenforschung, Vol. 17: S. 55-60
[img]
Vorschau

PDF

509kB