Pengantar logika matematika - Setiadi Rachmat