| Judul | Logic : Form and Function : The Mechanization of Deductive Reasoning / J.A. Robinson |
| Pengarang | ROBINSON, J.A |
| EDISI | - |
| Penerbitan | Edinburgh : University Press, 1079 |
| Deskripsi Fisik | 312 hal :vi, ils.: lamp ;17,5 x 24 cm- |
| ISBN | 0852243057 |
| Subjek | Logical Equinvalence Mechanization Reasoning |
| Catatan | The Mechanization |
| Bahasa | Inggris |
| Bentuk Karya | Bukan fiksi atau tidak didefinisikan |
| Target Pembaca | Umum |
| Lokasi Akses Online | Perpustakaan Balai Besar Pengembangan Mekanisasi Pertanian |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| BUK01090 | 631.171 ROB l | Dapat dipinjam | Perpustakaan BBP MEKTAN - Ruang Baca Umum | Tersedia |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000000754 | ||
| 005 | 20230531030817 | ||
| 007 | ta | ||
| 008 | 230531################g##########0#eng## | ||
| 020 | # | # | $a 0852243057 |
| 035 | # | # | $a 0010-0523000049 |
| 082 | # | # | $a 631.171 |
| 084 | # | # | $a 631.171 ROB l |
| 100 | 0 | # | $a ROBINSON, J.A |
| 245 | 1 | # | $a Logic : Form and Function : $b The Mechanization of Deductive Reasoning /$c J.A. Robinson |
| 250 | # | # | $a - |
| 260 | # | # | $a Edinburgh :$b University Press,$c 1079 |
| 300 | # | # | $a 312 hal : $b vi, ils.: lamp ; $c 17,5 x 24 cm$e - |
| 500 | # | # | $a The Mechanization |
| 650 | # | 4 | $a Logical Equinvalence |
| 650 | # | 4 | $a Mechanization |
| 650 | # | 4 | $a Reasoning |
| 856 | # | # | $a Perpustakaan Balai Besar Pengembangan Mekanisasi Pertanian |
| 990 | # | # | $a 001125 |
Content Unduh katalog
Karya Terkait :