::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Ben-Ari, Mordecchai, 1948-, author

London: Springer-Verlag, 2012

511.3 BEN m

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Ben-Ari, Mordecchai, 1948-, 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: Springer, 2012

e20407627

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

Ben-Ari, Mordecchai, 1948-, author

Englewood Cliffs, NJ: Prentice-Hall, 1982

001.642 BEN p

Buku Teks SO  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit