國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Mathematical logic for computer scie...

~

Ben-Ari, M., (1948-)

Mathematical logic for computer science /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Mathematical logic for computer science /Mordechai Ben-Ari.
Author:	Ben-Ari, M.,
Published:	London ;Springer,2001.
Description:	xiv, 304 p. :ill. ;24 cm.
Subject:	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,2001. - xiv, 304 p. :ill. ;24 cm.

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

ISBN: 1852333197 (pbk. : alk. paper) :NT$1262

LCCN: 00066113 Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .B3955 2001

Dewey Class. No.: 511.3

Mathematical logic for computer science /
LDR:00579nam 2200181 a 450 001 150054
005 20000219170709.0
008 090528s2001 enka b 001 0 eng
010 $a 00066113
020 $a 1852333197 (pbk. : alk. paper) : $c NT$1262
035 $a 00044600
040 $a DLC $c DLC $d DLC
050 0 0 $a QA9 $b .B3955 2001
082 0 0 $2 21 $a 511.3
100 $a Ben-Ari, M., $d 1948- $3 200464
245 1 0 $a Mathematical logic for computer science / $c Mordechai Ben-Ari.
250 $a 2nd ed.
260 $a London ; $a New York : $c 2001. $b Springer,
300 $a xiv, 304 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. [293]-295) and index.
650 $a Logic, Symbolic and mathematical. $3 180452

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000117947

西方語文圖書區(四樓)

1圖書

一般圖書

QA9 B456 2001

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login