TEKNIK BAWAH-ATAS UNTUK MEMPERMUDAH PENYELESAIAN DEDUKSI ALAMI DENGAN SISTEM GENTZEN
| Main Author: | Dwijono, Djoni |
|---|---|
| Format: | Article info eJournal |
| Bahasa: | ind |
| Terbitan: |
Duta Wacana Christian University
, 2013
|
| Subjects: | |
| Online Access: |
https://ti.ukdw.ac.id/ojs/index.php/proceedings/article/view/222 |
Internet
https://ti.ukdw.ac.id/ojs/index.php/proceedings/article/view/222Lokasi
| Koleksi | Proceedings of KNASTIK |
|---|---|
| Gedung | Perpustakaan Universitas Kristen Duta Wacana |
| Institusi | Universitas Kristen Duta Wacana |
| Kota | KOTA YOGYAKARTA |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |