TY  - BOOK
AU  - Steel John R
TI  - Core model iterability problem
SN  - 3-540-61938-0
U1  - 511.4 
PY  - 1996///
CY  - Berlin
PB  - Springer-Verlag
KW  - Core models
ER  -