Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Buchholz, Wilfried (September 1991): Notation systems for infinitary derivations. In: Archive for Mathematical Logic, Nr. 30: S. 277-296
[img]
Vorschau

PDF

967kB