Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Cor m |
| Collection Type | Buku |
| Title | Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
| Author | Cori, Rene; |
| Publisher | New York: Oxford, 2000 |
| Subject | Logic symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Cor m | 06/11190 (asli) | TERSEDIA |