Proceedings : fifth annual IEEE symposium on logic in computer science
IEEE Computer Society Press, 1990
 Buku Referensi
Ben-Ari, Mordecchai, 1948-, author
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
R. G. Soekadijo, author
Logika dasar: tradisional, simbolik dan induktif
Gramedia, 1985
 Buku Teks
Sutanto, 1950-, author
Experimental results of four-valued logic applications
Fakultas Teknik Universitas Indonesia, 1997
 UI - Laporan Penelitian
Mundiri, author
Logika
RajaGrafindo Persada, 2012
 Buku Teks
<<   1 2 3   >>