Logo
DeutschClear Cookie - decide language by browser settings
Buchholz, Wilfried (1991): Notation systems for infinitary derivations. In: Archive for Mathematical Logic, No. 30: pp. 277-296
[img]
Preview

PDF

967kB