Author :
Mitchell, William J
Title :
Fine structure and iteration trees
Author Statement :
William J. Mitchell, John R. Steel
Publication :
Springer-Verlag
Collation :
130 p.: ill.; 24 cm
Series :
Lecture notes in logic ; 3
Subject :
Constructive mathematics,Set theory
ADDED ENTRIES :
Steel, J. R
Holding Info. :
3540574948
Biblography :
Includes bibliographic references (p. [125]) and indexes