Fondasi Matematika dan Metode Pembuktian adalah buku yang dirancang untuk menanamkan kemampuan penalaran mahasiswa yang dibutuhkan untuk mempelajari matematika secara benar melalui logika matematika. Logika matematika sebagai dasar penalaran dibahas mulai dari proposisi dan konektivitas, fungsi proposisi dan kuantifikasi, sampai dengan aturan inferensi. Selain itu, mengingat aktivitas dalam pem…