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

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

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte