008 |
|
020627s2001 enka b 001 0 eng d |
010 |
|
|a 00066113
|
020 |
|
|a1852333197 (pbk. : alk. paper) :|cNT$826
|
020 |
|
|a013564139X
|
035 |
|
|a00066113
|
040 |
|
|aDLC|cDLC|dDLC
|
050 |
00
|
|aQA9|b.B3955 2001
|
082 |
00
|
|a511.3|221
|
092 |
|
|aQA9/.B3955/2001/////E011697
|
095 |
|
|bLBA|cE011697|dQA9|e.B3955|pBOOK|y2001|n826|fHCL|zB|m0|tLCC
|
100 |
1
|
|aBen-Ari, Mordechai,|d1948-
|
245 |
10
|
|aMathematical logic for computer science /|cMordechai Ben-Ari.
|
250 |
|
|a2nd ed.
|
260 |
|
|aLondon ;|aNew York :|bSpringer,|cc2001.
|
300 |
|
|axiv, 304 p. :|bill. ;|c24 cm.
|
504 |
|
|aIncludes bibliographical references (p. [293]-295) and indexes.
|
650 |
0
|
|aLogic, Symbolic and mathematical.
|
809 |
|
|pBOOK|dQA9|e.B3955|y2001
|