APA (7th ed.) Citation

Buchholz, W. (1981). Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies / Wilfried Buchholz ... [et al.]: Recent proof-theoretical studies. Springer-Verlag. https://doi.org/10.1007/BFb0091894

Chicago Style (17th ed.) Citation

Buchholz, Wilfried. Iterated Inductive Definitions and Subsystems of Analysis Recent Proof-theoretical Studies / Wilfried Buchholz ... [et Al.]: Recent Proof-theoretical Studies. Berlin ; New York: Springer-Verlag, 1981. https://doi.org/10.1007/BFb0091894.

MLA (9th ed.) Citation

Buchholz, Wilfried. Iterated Inductive Definitions and Subsystems of Analysis Recent Proof-theoretical Studies / Wilfried Buchholz ... [et Al.]: Recent Proof-theoretical Studies. Springer-Verlag, 1981. https://doi.org/10.1007/BFb0091894.

Warning: These citations may not always be 100% accurate.