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

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Si

Foundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobar

The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized

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