Logo Logo
Hilfe
Hilfe
Switch Language to English

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

[thumbnail of 13.pdf]
Vorschau
Download (967kB)
Dokument bearbeiten Dokument bearbeiten