Ditemukan 2754 dokumen yang sesuai dengan query
Smarandache, Florentin
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks Universitas Indonesia Library
Carnap, Rudolf
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks Universitas Indonesia Library
Copi, Irving M.
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks Universitas Indonesia Library
Dalen, Dirk van
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks Universitas Indonesia Library
Standley, Gerald B.
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks Universitas Indonesia Library
Langer, Susanne K.
New York: Dover, 1967
511.3 LAN i
Buku Teks Universitas Indonesia Library
Ben-Ari, Mordecchai, 1948-
"Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
The logical systems presented are propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs."
London: Springer, 2012
e20407627
eBooks Universitas Indonesia Library
Amsterdam: North-Holland Pub. Co, 1978
R 511.3 HAN
Buku Referensi Universitas Indonesia Library
Gemignani, Michael C.
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks SO Universitas Indonesia Library
Chang, Chin-Liang
New York: Academic Press, 1973
511.3 CHA s
Buku Teks Universitas Indonesia Library
