Natural Deduction -- Hilberticus - A Tool Deciding an Elementary Sublanguage of Set