Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Boo c |
| Collection Type | Buku |
| Title | Computability and logic 2nd ed. |
| Author | Boolos, George S; |
| Publisher | London: Cambridge University Press, 1980 |
| Subject | Logic, symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Boo c | 87/5464 | TERSEDIA |