This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. Th

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. Th

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 S

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as