國立臺東大學館藏查詢系統

館藏書目查詢 > 書目資料

借閱次數 :

Mathematical logic for computer science

點閱：140
評分：0
評論：0
引用：0
轉寄：0

簡略

MARC

008

020513s2001 enka b 001 0 eng

001

111823

005		19990301164124.0
010		\|a 00066113
020		\|a1852333197 (pbk.) :\|cNT\|781
035		\|a00066113
040		\|aTWNTU\|cTWNTU\|dTWNTU
041		\|aeng
044		\|agb
050	00	\|aQA9\|b.B3955 2001
082	00	\|a511.3\|221
092		\|a511.3/B456/2001//////E020205
095		\|aNTTTCL\|bG\|cE020205\|d511.3\|eB456\|pBOOK\|y2001\|fSYNSIA\|zBOOK\|m0\|tDDC
100	1	\|aBen-Ari, M.,\|d1948-
245	10	\|aMathematical logic for computer science /\|cMordechai Ben-Ari.
250		\|a2nd ed.
260		\|aLondon ;\|aNew York :\|bSpringer,\|cc2001.
300		\|axiv, 304 p. :\|bill. ;\|c24 cm.
504		\|aIncludes bibliographical references (p. [293]-295) and indexes.
650	0	\|aLogic, Symbolic and mathematical.
809		\|d511.3\|eB456\|y2001\|tDDC\|pBOOK
939		\|aE3530-1

書籤：

延伸查詢

匯出資料

線上調借

館藏
簡介
作者簡介
標籤(0)
收藏(0)
評論(0)
評分(0)

Mathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics covered include propositional calculus, predicate calculus, resolution, hoare logic, and temporal logic. Also features a companion Website. Softcover. DLC: Logic, Symbolic and mathematical.

回頁首

此功能為會員專屬功能請先登入

Mathematical logic for computer science

書架附近的資料 :

借這本書的人也借過下面這些書 :