Pengantar Dasar Matematika: logika dan teori himpunan - SEPUTRO, Theresia M.H. Tirta (Erlangga, 1992)