|
|
|
|
| LEADER |
01003nam a2200349 4500 |
| 001 |
DLU060052860 |
| 005 |
##20060517 |
| 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
|
| 050 |
# |
# |
|a QA76.9.M35
|b L8 1989
|
| 082 |
# |
# |
|a 004.015 1
|b LU-Z
|
| 100 |
# |
# |
|a Lu Zhungwan
|
| 245 |
# |
# |
|a Mathematical logic for computer science.
|n Vol.XLVII /
|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 04/2006
|
| 990 |
# |
# |
|a Vol.XLVII
|
| 992 |
# |
# |
|a 10.200
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Đào Thị Thu Huyền
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
