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 second edition |
| Author | Ben-Ari, Mordechai; |
| Publisher | London: Springer Verlag, 2001 |
| Subject | Logic, symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Ben m | 05/10928 (Asli) | TERSEDIA |