Wer auch immer gestern "der kalkül des natürlichen schliessens aufgaben" gegoogelt haben mag: Da sind welche. Unter Materialien zur Vorlesung Mathematische Logik II. Viel Spaß damit.