|
|
|
|
| LEADER |
00939nam a2200325 4500 |
| 001 |
DLU060056206 |
| 005 |
##20050329153214.0 |
| 008 |
##890406s1989 si a b 001 0 eng |
| 010 |
# |
# |
|a 89033165
|
| 020 |
# |
# |
|a 9971502518
|
| 035 |
# |
# |
|9 (DLC) 89033165
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 082 |
# |
# |
|a 004.015 1
|b LU-C
|
| 100 |
# |
# |
|a Lu, Zhongwan.
|
| 245 |
# |
# |
|a Mathematical logic for computer science /
|c Lu Zhongwan.
|
| 260 |
# |
# |
|a Singapore ;
|a Teaneck, N.J. :
|b World Scientific,
|c c1989.
|
| 300 |
# |
# |
|a ix, 248 p. :
|b ill. ;
|c 23 cm.
|
| 504 |
# |
# |
|a Includes bibliographical references (p. 229-230) and index.
|
| 650 |
# |
# |
|a Computer science
|x Mathematics.
|
| 650 |
# |
# |
|a Logic, Symbolic and mathematical.
|
| 923 |
# |
# |
|a 26/2006
|
| 992 |
# |
# |
|a 7800
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Thái Thị Thanh Thủy
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
