Pengantar dasar matematika : Logika dan teori Himpunan / Theresia M.H Tirta Seputro - Theresia, M.H.Tirta Seputro (Departemen Pendidikan dan Kebudayaan, 1989)