Logo
DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: Article
Number of items: 1.

Article

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

This list was generated on Wed May 22 22:35:00 2013 CEST.
Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton. − Impressum