VANCOUVER Edition Citation

1.
, , , . Iterated inductive definitions and subsystems of analysis. Berlin, Heidelberg, New York: Springer-Verlag; 1981.

ISO690 Edition Citation

, , et . Iterated inductive definitions and subsystems of analysis. Berlin, Heidelberg, New York : Springer-Verlag, 2 juin 1981. ISBN 0-387-11170-0

Style de citation APA (7e éd.)

Buchholz Wilfried, Feferman Solomon, Pohlers Wolfram, & Sieg Wilfried. (1981). Iterated inductive definitions and subsystems of analysis: Recent proof-theoretical studies. Springer-Verlag.

Style de citation MLA (8e éd.)

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

Attention : ces citations peuvent ne pas être correctes à 100%.