Ditemukan 7472 dokumen yang sesuai dengan query
Dalen, Dirk van
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks Universitas Indonesia Library
Carnap, Rudolf
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks Universitas Indonesia Library
Standley, Gerald B., author
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks Universitas Indonesia Library
Gemignani, Michael C., author
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks Universitas Indonesia Library
Amsterdam: North-Holland Pub. Co, 1978
R 511.3 HAN
Buku Referensi Universitas Indonesia Library
Ben-Ari, Mordechai, author
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...
London: Spinger-Verlag, 2012
e20407627
eBooks Universitas Indonesia Library
Langer, Susanne
New York: Dover, 1967
511.3 LAN i
Buku Teks Universitas Indonesia Library
Mundici, Daniele, author
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself...
Milan: Spinger-Verlag, 2012
e20420479
eBooks Universitas Indonesia Library
Copi, Irving M., author
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks Universitas Indonesia Library
Smarandache, Florentin, author
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks Universitas Indonesia Library
