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

A clear, comprehensive, and rigorous introduction to the theory of computation. What is computable? What leads to efficiency in computation? Computability and C

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a

This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information. It describes the factors required to estab