Lipschutz, Seymour, 1915-2003, author
Schaum's outline of theory and problems of discrete mathematics
McGraw-Hill, 1976
 Buku Teks
Carnap, Rudolf, author
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Standley, Gerald B., author
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks
Sulistomo Adie Suwarno, author
Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.
Universitas Indonesia, 2005
 UI - Skripsi (Membership)
Ummu Maemunah, author
Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
 UI - Skripsi (Membership)
<<   1 2 3   >>