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

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

Written for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessi

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic constru

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