-
RecordNumber
79169
-
Author
Lu, Chung-wan
-
Title
Mathematical logic for computer science
-
Author Statement
Lu Zhongwan
-
Publication
World scientific
-
Publication Year
c1989
-
Collation
ix, 248 p. : ill
-
Bibliography
Bibliography: p. 229- 230
-
Subject
Computer science- Mathematics , Logic, Symbolic and mathematical
-
Main Class
004
-
Sub Class
.0151
-
Cutter no
L926m
-
وارد كنندة اطلاعات
fazel^d2006/12/27 10:40:11
-
Link To Document :
