Record:   Prev Next
書名 What is a logical system? / edited by D.M. Gabbay
出版項 Oxford : Clarendon Press ; New York : Oxford University Press, 1994
國際標準書號 0198538596 (cloth)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.0 W555    在架上    30330000106588
說明 x, 454 p. : ill. ; 25 cm
系列 Studies in logic and computation ; 4
Oxford science publications
附註 Includes bibliographical references and index
主題 Logic, Symbolic and mathematical
Computer science
Logic iisf
Alt Author Gabbay, Dov M., 1945-
Record:   Prev Next