|
|
|
|
LEADER |
00000cam a22000002a 4500 |
008 |
000613s1989 si a b 001 0 eng d |
020 |
|
|
|a 9971502518
|
035 |
|
|
|a (Sirsi) i9789971502515
|
040 |
|
|
|a DLC
|
050 |
|
4 |
|a QA76.9.M35
|b L8
|
082 |
0 |
0 |
|a 004/.01/51
|2 20
|
100 |
1 |
|
|a Lu, Chung-wan.
|
245 |
1 |
0 |
|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 il. ;
|c 23 cm.
|
504 |
|
|
|a Bibliografía. p. 229-230.
|
650 |
|
4 |
|a Procesamiento electrónico de datos.
|
650 |
|
4 |
|a Lógica matemática.
|
902 |
|
|
|a DBUV
|
596 |
|
|
|a 2
|
942 |
|
|
|c LIBRO
|
999 |
|
|
|c 76123
|d 76123
|