APA (7th ed.) Citation

Buchholz, W., & Feferman, S. (1981). Iterated inductive definitions and subsystems of analysis: Recent proof-theoretical studies. Springer-Verlag.

Chicago Style (17th ed.) Citation

Buchholz, Wilfried, and Solomon Feferman. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies. Berlin ; New York: Springer-Verlag, 1981.

MLA (9th ed.) Citation

Buchholz, Wilfried, and Solomon Feferman. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies. Springer-Verlag, 1981.