Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Ben m |
| Collection Type | Buku |
| Title | Mathematical logic for computer science 3rd ed. |
| Author | Ben-Ari Mordechai; |
| Publisher | London : Springer verlag, 2012 |
| Subject | logic symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Ben m | 15/12505 Asli | TERSEDIA |