author = { Cantone, Domenico AND Cutello, Vincenzo },

title = { Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison },

publisher = {Wiley},

isbn = {0010-3640},

isbn = {1097-0312},

keywords = { Applied Mathematics , General Mathematics },

year = {1994},

url = { http://slubdd.de/katalog?TN_libero_mab2 }