Seol mar théacs é seo: Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendung