Record:   Prev Next
作者 Lindström, Per, 1936-
書名 Aspects of incompleteness / Per Lindström
出版項 New York : Springer-Verlag, c1997
國際標準書號 3540632131 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.65 L56 1997    在架上    30340200362360
說明 x, 132 p. ; 24 cm
系列 Lecture notes in logic ; 10
附註 Includes bibliographical references and index
主題 Incompleteness theorems
Recursion theory
Record:   Prev Next