Record:   Prev Next
作者 Gilmore, Paul C. (Paul Carl), 1925-
書名 Logicism renewed : logical foundations for mathematics and computer science / Paul C. Gilmore
出版項 La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, Ltd., c2005
國際標準書號 1568812752 (alk. paper)
1568812760 (pbk. : alk. paper)
9781568812755
9781568812762
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.2 G55 2005    在架上    30340200495640
說明 xvii, 230 p. ; 24 cm
系列 Lecture notes in logic ; 23
Lecture notes in logic ; 23
附註 Includes bibliographical references (p. 215-223) and index
主題 Logic, Symbolic and mathematical
Record:   Prev Next