TY  - BOOK
AU  - Mitchell,William J.
AU  - Steel,John R.
TI  - Fine structure and iteration trees
SN  - 3540574948 :
U1  - 511.8 
PY  - 1994///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical models
KW  - Logic, Symbolic and mathematical
KW  - Mathematical analysis
N1  - Includes index; Bibliography: p. 125
ER  -