Pengantar dasar matematika: logika dan teori himpunan ‌ SEPUTRO, M.H Tirta