Fine structure and iteration trees
Fine structure and iteration trees
1994
William J. Mitchell undifferentiated
Details
First published
1994
OL Work ID
OL3453300W
Subjects
Set theory
Constructive mathematics
Find this book
Open Library