You are about to access our book library "Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Trends in Logic Book 39) full version" .