MathSciNet bibliographic data MR284326 (44 #1555) 02.63 Friedman, Harvey Iterated inductive definitions and $\Sigma \sb{2}\sp{1}-{\rm AC}$$\Sigma \sb{2}\sp{1}-{\rm AC}$. 1970 Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y., 1968) pp. 435–442 North-Holland, Amsterdam Links to the journal or article are not yet available

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.