Title: Some results in automatic theorem-proving with applications in elementary set theory and topology
Subjects: Automatic theorem proving, Set theory, Topology