Record:   Prev Next
作者 Marx, Maarten
書名 Multi-dimensional modal logic / by Maarten Marx and Yde Venema
出版項 Dordrecht ; Boston, Mass. : Kluwer Academic Publishers, 1997
國際標準書號 079234345X (hc : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.46 M37 1997    在架上    30340200352908
 資訊所圖書室圖書區  I2.3 M392    在架上    30330000119235
說明 xiii, 239 p. : ill. ; 25 cm
系列 Applied logic series ; v. 4
附註 Includes bibliographical references and index
主題 Modality (Logic)
Modal logic iis
Theorem proving iisf
Alt Author Venema, Yde, 1963-
Record:   Prev Next