登入選單
返回資源
Computability and logic
Boolos, George., Jeffrey, Rich...
Computability and logic / George Boolos and Richard C. Jeffrey.
Boolos, George.Jeffrey, Richard C.
文獻類型一般書籍
語言English
分類號511.3 BOO
出版Cambridge, Cambridge University Press, 1980 (Reprinted 1982)
版本2nd ed.
主題Logic, Symbolic and mathematical.Mathematical logic.
描述285 p. ; 22 cm.
ISBNRCN065068097118

註釋

Includes index.
No.
複本條碼
部門
位置
索書號
狀態
到期日
1
E0000112
圖書館
ELIB
511.3 BOO
可出借
--
共1條紀錄 , 當前 1 / 1 頁：個上一頁下一頁
相關資源