Record:   Prev Next
作者 Franzen, Torkel
書名 Inexhaustibility : a non-exhaustive treatment / by Torkel Franzen
出版項 [Urbana, Ill.] : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2004
國際標準書號 1568811748
1568811756 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.56 F73 2004    在架上    30340200472383
說明 xi, 251 p. ; 23 cm
系列 Lecture notes in logic ; 16
附註 Includes bibliographical references (p. 243-244) and index
主題 Incompleteness theorems
Logic, Symbolic and mathematical
Mathematics -- Philosophy
Record:   Prev Next