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

館藏書目查詢 > 書目資料

借閱次數 :

Formal logic : its scope & limits

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

簡略

MARC

008

920720s1989 nyua bi 001100eng

001		65615
020		\|a0070323216
040		\|aTWNTU\|beng\|dTWNTU
095		\|aNTTTCL\|bG\|cE006244\|d160\|eJ46\|pBOOK\|zBOOK\|m0\|tDDC
095		\|aNTTTCL\|bG\|cE006245\|d160\|eJ46\|pBOOK\|kc.2\|zBOOK\|m0\|tDDC
100	10	\|aJeffrey, Richard C.
245	10	\|aFormal logic :\|bits scope & limits /\|cRichard C. Jeffrey.
250		\|a2nd ed.
260	0	\|aNew York :\|bMcGraw-Hill,\|cc1989.
300		\|axiv, 198 p. :\|bill. ;\|c23 cm.
504		\|aIncludes bibliographies & index.
650	0	\|aLogic.
809		\|d160\|eJ46\|tDDC\|pBOOK
930		\|a930316\|b165146

書籤：

延伸查詢

匯出資料

線上調借

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

This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.

回頁首

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

Formal logic : its scope & limits

書架附近的資料 :