Record:   Prev Next
作者 Boolos, George, author
書名 The logic of provability / George Boolos
出版項 Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995
國際標準書號 0521433428
9780521433426
9780521483254
0521483255 (paperback)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 歐美所圖書館  160 B64442 1995    在架上    30500100783854
 資訊所圖書室圖書區  F4.1 B724    到期 11-16-20    30330000234570
版本 First paperback edition
說明 xxxvi, 275 pages ; 24 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
附註 Originally published 1993
Includes bibliographical references (pages 262-269) and index
主題 Modality (Logic)
Proof theory
Mathematical logic
Record:   Prev Next