Fine structure and iteration trees
By: William J. Mitchell, John R. Steel.
Contributors: Steel, J. R. 1948-
Series: Lecture notes in logic ;; 3
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 130
Subjects: Constructive mathematics.; Set theory.
Notes: Includes bibliographic references (p. [125]) and indexes.