Pustaka

Pustaka Logika Matematika

Buku Logika Matematika

1. Jong Jek Siang., Drs, MSc., 2002, “Matematika Diskrit dan Aplikasinya Pada Ilmu Komputer”, Andi, Yogyakarta
2. Rinaldi Munir, 2003, “Matematika Diskrit”, Edisi Ke-2, Informatika, Bandung
3. Jean-Paul Tremblay., 1996, “Logic and Discrete Mathematics”, Prentice Hall, New Jersey
4. F. Soesianto & Djoni Dwijono, 2003, “Logika Proposisional”, Andi Offset, Yogyakarta
5. F. Soesianto & Djoni Dwijono, 2003, “Logika Predikatif”, Andi Offset, Yogyakarta
6. Mathematical Logic for Computer Science

Materi Pendukung Logika Matematika

1. Simbol Logika Matematika 
2. Online LaTeX Equation Editor
3. HTML Generator
4. Truth Table
5. Tree Proof Generator
6. K-Map