| LEADER | 01159aam a2200289 i 4500 | ||
|---|---|---|---|
| 001 | 001263000 | ||
| 005 | 20180201131659.0 | ||
| 008 | 120613t20122012xxka b 001 0 eng d | ||
| 010 | |a 2012941863 | ||
| 020 | |a 9781447141280 | ||
| 020 | |a 1447141288 | ||
| 089 | |a 511.3 | ||
| 100 | 1 | |a Ben-Ari, M., |d 1948- |e author. | |
| 245 | 1 | 0 | |a Mathematical logic for computer science / |c Mordechai Ben-Ari. |
| 250 | |a Third edition. | ||
| 264 | 1 | |a London : |b Springer, |c [2012] | |
| 264 | 4 | |c 2012 | |
| 300 | |a xv, 346 pages : |b illustrations ; |c 24 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 500 | |a Previous edition: 2009. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_BEN |7 0 |9 858758 |a PILKINGTON |b PILKINGTON |c MAIN |d 2017-11-30 |g 32.02 |l 1 |m 1 |o 511.3/BEN |p 040463284X |r 2018-08-13 |s 2018-01-04 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_BEN |7 0 |9 858759 |a PILKINGTON |b PILKINGTON |c MAIN |d 2017-11-30 |g 32.02 |l 1 |o 511.3/BEN |p 0404632858 |r 2018-01-22 |w 2018-02-01 |y LONG | ||
| 999 | |c 533946 |d 533946 | ||