南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Mathematical logic for computer scie...

~

Ben-Ari, M.,1948-

Mathematical logic for computer science /

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Mathematical logic for computer science // Mordechai Ben-Ari.
作者:	Ben-Ari, M.,
出版者:	London ;Springer,c2001.
面頁冊數:	xiv, 304 p. :ill. ;24 cm.
標題:	Logic, Symbolic and mathematical. -
ISBN:	1852333197 (pbk. : alk. paper) :

Mathematical logic for computer science /
Ben-Ari, M.,1948-

Mathematical logic for computer science /Mordechai Ben-Ari. - 2nd ed. - London ;Springer,c2001. - xiv, 304 p. :ill. ;24 cm.

Includes bibliographical references (p. [293]-295) and indexes.

ISBN: 1852333197 (pbk. : alk. paper) :NT963

LCCN: 00066113 Subjects--Topical Terms:

147424
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .B3955 2001

Dewey Class. No.: 511.3

Mathematical logic for computer science /
LDR:00640nam _2200205 a_450 001 136888
003 DLC
005 20031120140938.0
008 001109s2001 enka b 001 0 eng
010 $a 00066113
020 $a 1852333197 (pbk. : alk. paper) : $c NT963
035 $a 00074931
040 $a DLC $c DLC $d DLC
050 0 0 $a QA9 $b .B3955 2001
082 0 0 $a 511.3 $2 21
092 $a */511.3/B456/2001////E02099
100 1 $a Ben-Ari, M., $d 1948- $3 160265
245 1 0 $a Mathematical logic for computer science / $c Mordechai Ben-Ari.
250 $a 2nd ed.
260 $a London ; $a New York : $b Springer, $c c2001.
300 $a xiv, 304 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. [293]-295) and indexes.
650 0 $a Logic, Symbolic and mathematical. $3 147424

0 筆讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E02099

六樓西文書庫 (6th Floor-Western Books)

一般借閱

外文書

* 511.3 B456 2001

一般(Normal)

在架

0

5030000-0920029

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入