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 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

Computability and complexity theory should be of central concern to practitioners as well as theorists. Unfortunately, however, the field is known for its impen