Ways of Proof Theory innbundetEngelsk, 2010