Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Cor m |
| Collection Type | Buku |
| Title | Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
| Author | Cori, Rene; |
| Publisher | New York: Oxford University, 2001 |
| Subject | Logic symbolic and mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Cor m | 05/10927 (Asli) | TERSEDIA |