Foundations of Computing

Foundations of Computing is a 2-book series with 2 released primary works first released in 1991 with contributions by Benjamin C. Pierce and Yuri Matijasevich.