Logo
DeutschClear Cookie - decide language by browser settings
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
[img]
Preview

PDF

1MB