Pengantar dasar matematika logika dan teori himpunan - SEPUTRO, Theresia M.H. Tirta (Erlangga)