Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.1 Ner l |
| Collection Type | Buku |
| Title | Logic for applications 2nd ed. |
| Author | Nerode, Anil; |
| Publisher | New York Springer-Verlag 1997 |
| Subject | Computer science-mathematics; Logic, symbolic and mathematics |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.1 Ner l | 99/8546 | TERSEDIA |