Logika Matematika
Kalkulus predikat
Logika Matematika Untuk Ilmu Komputer
Belajar Sendiri Lotus 1-2-3 Release 2.01, 2.02, 3.00
Kalkulus Proposisional
Kalkulus Predikat
Logika Proposisional