Buku ini memperkenalkan bagaimana logika digunakan untuk mempersiapkan dan menyusun bukti serta memecahkan masalah yang lebih kompleks. Dimulai dengan logika proposisional, kemudian diikuti dengan logika orde pertama, yang menyediakan struktur untuk penulisan dan pembuktian matematis. Terdapat latihan yang dirancang untuk menunjukkan interaksi antar topik dan memperkuat ide dan konsep yang disajikan.

Untuk mengakses e-book, silakan klik link di "File Attachment"