"Natural Deduction: A Proof-theoretical Study" von Dag Prawitz ist ein bedeutendes Werk in der Logik und Mathematik, das sich mit der Theorie des natürlichen Schließens befasst. Das Buch untersucht die formalen Grundlagen der natürlichen...