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 |
| Author | Ben-Ari, M.; |
| Publisher | New York Prentice-Hall 1993 |
| Subject | Logic, symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Ben m | 98/8092 | TERSEDIA |