Logo Logo
Help
Contact
Switch Language to German

Buchholz, Wilfried and Pohlers, W. (1978): Provable wellorderings of formal theories for transfinitely iterated inductive definitions. In: Journal of symbolic logic, Vol. 43, No. 1: pp. 118-125 [PDF, 1MB]

[thumbnail of 3838.pdf]
Preview

Download (1MB)

Actions (login required)

View Item View Item