Library Section
A semantic proof of strong cut-admissibility for first-order Gödel logic | UPT Perpustakaan UHAMKA
Informasi dan layanan perpustakaan dalam tampilan yang lebih bersih dan modern.
Smart Search
Cari koleksi dengan cepat sesuai kebutuhan Anda.Pencarian Spesifik
Sesuaikan filter untuk hasil lebih presisi.
Belum ada riwayat. Mulai ketik untuk menyimpan pencarian Anda.
Ketersediaan
Copy Status
Fakultas Teknologi Industri dan Informatika
Belum ditentukan Kode Klasifkasinya
:
Tersedia
Highlights
Informasi Detail
- Judul Seri
- -
- Penerbit
- : ., 2013
- Deskripsi Fisik
- -
- Bahasa
- Indonesia
- Tipe Isi
- -
- Tipe Media
- -
- Tipe Pembawa
- -
- Tipe Koleksi
- e-Article Oxford Journal
- Edisi
- -
- Subjek
-
-
- Info Detail Spesifik
- -
- Pernyataan Tanggungjawab
- -
Explore more
Versi lain/terkait
Tidak tersedia versi lain
Digital
Lampiran Berkas
Community
