Panduan pengajar buku pengantar dasar matematika (logika dan teori himpunan) - Theresia M.H. Tirta Seputro (Departemen Pendidikan dan Kabudayaan, 1989)