Logo Logo
Help
Contact
Switch Language to German
Buchholz, Wilfried (September 1991): Notation systems for infinitary derivations. In: Archive for Mathematical Logic, No. 30: pp. 277-296
[img]
Preview
967kB