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

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

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