Hasil Pencarian

Ditemukan 6287 dokumen yang sesuai dengan query 20407627
Mathematical logic for computer science
Pengarang : Ben-Ari, Mordecchai, 1948-, author
No. Panggil : e20407627
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Mathematical logic for computer science
Pengarang : Ben-Ari, Mordecchai, 1948-, author
No. Panggil : 511.3 BEN m
Jenis Koleksi : Buku Teks SO
Lokasi : Universitas Indonesia Library
Handbook of mathematical logic
Pengarang : Tidak ada pengarang
No. Panggil : R 511.3 HAN
Jenis Koleksi : Buku Referensi
Lokasi : Universitas Indonesia Library
Introduction to symbolic logic and its
Pengarang : Carnap, Rudolf, author
No. Panggil : 511.3 CAR i
Jenis Koleksi : Buku Teks
Lokasi : Universitas Indonesia Library
Lectures on the logic of computer programming
Pengarang : Manna, Zohar, author
No. Panggil : e20450584
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Logic from computer science: proceedings of a workshop held November 13-176, 1989
Pengarang : Tidak ada pengarang
No. Panggil : 511.3 LOG
Jenis Koleksi : Buku Teks SO
Lokasi : Universitas Indonesia Library
<<   1 2 3 4 5   >>