Ngarap Imanuel Manik text Yogyakarta : Graha Ilmu, 2014 ind Logika proporsi, Proporsi bersyarat, Kuantor, Pembuka Argumen, Induksi Matematika, Himpunan, Sistem bilangan, Relasi, Relasi ekuivalen Matematika Diskrit URN:ISBN:978-602-262-138-6