Die Logik ist ein Kalkül. Was an ihr besonderes ist läßt sich gut durch meine W-F Notation herausbringen.