Symbolic logic and mechanical theorem proving
by Chin-Liang Chang and Richard Char-Tung Lee (Academic Press, 1973)
|
| No. Panggil : | 511.3 CHA s |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | New York: Academic Press, 1973 |
| Sumber Pengatalogan: | |
| ISBN: | 0121703509 |
| Tipe Konten: | |
| Tipe Media: | |
| Tipe Carrier: | |
| Edisi: | |
| Catatan Seri: | |
| Catatan Umum: | |
| Catatan Versi Asli: | |
| Deskripsi Fisik: | xiii, 331 p. : ill. ; 24 cm. |
| Lembaga Pemilik: | Universitas Indonesia |
| Lokasi: | Perpustakaan UI, Lantai 2 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 511.3 CHA s | 01-10-12001235 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 145379 |
