Mitchell, William J.

Fine structure and iteration trees / William J. Mitchell and John R. Steel - Berlin : Springer-Verlag, c1994 - 130 p. : ill. ; 24 cm. - Lecture notes in logic ; 3 .

Includes index

Bibliography: p. 125

3540574948 : USD 48.00 0387574948


Mathematical models
Logic, Symbolic and mathematical
Mathematical analysis

511.8