|
|
|
|
| LEADER |
00648nam a2200181 a 4500 |
| 001 |
972907 |
| 005 |
20171111231439.0 |
| 008 |
050122s20012003enka b 001 0 eng |
| 020 |
|
|
|a 1852333197
|
| 050 |
0 |
0 |
|a QA9
|b .B3955 2001
|
| 100 |
1 |
|
|a Ben-Ari, M.,
|d 1948-
|
| 245 |
1 |
0 |
|a Mathematical logic for computer science /
|c Mordechai Ben-Ari.
|
| 250 |
|
|
|a 2nd ed.
|
| 260 |
|
|
|a London ;
|b Springer,
|c c2001.
|a Berlin :
|
| 300 |
|
|
|a xiv, 304 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. [293]-295) and indexes.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 952 |
|
|
|a GRHeTEI
|b 59ccc69e6c5ad13446084ee4
|c 998a
|d 945l
|e QA9 .B3955 2001
|t 3
|x m
|z Books
|
