Pengantar dasar matematika: logika dan teori himpunan - SEPUTRO, M.H Tirta (Depdikbud, 1989)