Teorema Empat Warna dan Revolusi Matematika Komputer: Masalah 100 Tahun dan Filosofi Pembuktian oleh Mesin
