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