Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 7472 dokumen yang sesuai dengan query
cover
Dalen, Dirk van
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks  Universitas Indonesia Library
cover
Carnap, Rudolf
New York: Dover Publications, 1958
511.3 CAR i
Buku Teks  Universitas Indonesia Library
cover
Standley, Gerald B., author
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks  Universitas Indonesia Library
cover
Gemignani, Michael C., author
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks  Universitas Indonesia Library
cover
Amsterdam: North-Holland Pub. Co, 1978
R 511.3 HAN
Buku Referensi  Universitas Indonesia Library
cover
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
cover
Langer, Susanne
New York: Dover, 1967
511.3 LAN i
Buku Teks  Universitas Indonesia Library
cover
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
cover
Copi, Irving M., author
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks  Universitas Indonesia Library
cover
Smarandache, Florentin, author
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>