Mathematische Logik: 4.1 Der Sequenzenkalkül (Di, 25.06.2013)