Logo
Buchholz, Wilfried (September 1991): Notation systems for infinitary derivations. In: Archive for Mathematical Logic, Nr. 30: S. 277-296
[img]
Vorschau

PDF

967kB