Record:   Prev Next
作者 Blackburn, Patrick, 1959-
書名 Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
出版項 Cambridge [England] ; New York : Cambridge University Press, 2002 (pbk.)
國際標準書號 0521802008 (hbk.)
0521527147 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.46 B58 2001    在架上    30340200414724
 資訊所圖書室圖書區  F4.1 B628    在架上    30330000156039
 歐美所圖書館3F西文書區  511.3 B5627 2002    在架上    30500101139320
說明 xxii, 554 p. : ill. ; 24 cm
附註 Includes bibliographical references (p. 524-543) and index
EAS : YW
Lib has : 1st published in paperacked, 2002. EAS
主題 Modality (Logic)
Mathematical logic iisf
Modal logic iisf
Formal languages iis
Alt Author Rijke, Maarten de
Venema, Yde, 1963-
Record:   Prev Next