Preface

• Published in: Annals of Pure and Applied Logic
• Main Authors: Steffen van Bakel,Stefano Berardi,Ulrich Berger, Steffen van Bakel, Stefano Berardi, Ulrich Berger
• Other Authors: BERARDI, Stefano
• Format: Other/Unknown Material
• Language: English
• Published: elsevier 2010
• Subjects: Ferreira; Chalmers; Weller; Iceland
• Online Access: http://hdl.handle.net/2318/136000; https://doi.org/10.1016/j.apal.2010.04.004; http://www.sciencedirect.com/science/article/pii/S016800721000045X

The workshop ``Classical Logic and Computation 2008'' was held on 13 July 2008 in Reykjavik, Iceland. It was the second in a series of biennial workshops devoted to computational aspects of classical logic and mathematics. There were two invited talks, by Helmut Schwichtenberg from LMU Mun...