Record:   Prev Next
作者 Mitchell, William J
書名 Fine structure and iteration trees / William J. Mitchell, John R. Steel
出版項 Berlin ; New York : Springer-Verlag, c1994
國際標準書號 3540574948 (Berlin : acid-free paper
0387574948 (New York : acid-free paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.56 M58 1994    在架上    30340200315384
說明 130 p. : ill. ; 24 cm
系列 Lecture notes in logic ; 3
附註 Includes bibliographic references (p. [125]) and indexes
主題 Constructive mathematics
Set theory
Alt Author Steel, J. R. (John R.), 1948-
Record:   Prev Next