Logic, Symbolic and mathematical.

概要
作品: 5 作品在 5 項出版品 5 種語言
書目資訊
The deductive foundations of computer programming by: (書目-語言資料,印刷品)
Mathematical logic for computer science by: (書目-語言資料,印刷品)
Logic, sets, and recursion by: (書目-語言資料,印刷品)
 
 
變更密碼
登入