发送短信 : Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendung