Pengantar dasar matematika logika dan teori himpunan - Theresia M. H. Tirta Seputra (Erlangga, 1992)
oen, c.1-3/ast c.4