Computability

by Richard L. Epstein, Richard .L. Epstein

Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics.

Computer science

by J. Glenn Brookshear, Brookshear

Computer organization and architecture

by William Stallings

Computer networking

by James F. Kurose, Keith W. Ross

Structure and Interpretation of Computer Programs (SICP)

by Harold Abelson, Gerald Jay Sussman

Computational functional analysis

by Ramon E. Moore

Introduction to mathematical logic

by Jerome Malitz

Computable functions

by Louis Francis Williams

Mathematical structures for computer science

by Judith L. Gersting

Invitation to Computer Science

by G. Michael Schneider, Judith L. Gersting

Computability

by Richard L. Epstein, Walter A. Carnielli

Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics.

Z - computable functions and T - computable functions

by Andrzej Sierajewski

Computational Functional Analysis

by Ramon E. Moore

Computable Functions

by Neal Noah Madras

Computable Functions

by Alexander Shen, Nikolay Vereshchagin

Computational Functional Analysis

by R. E. Moore, M. J. Cloud

Purely functional data structures

by Chris Okasaki

Introduction to Mathematical Logic: Set Theory, Computable F...

by Jerome Malitz

The undecidable

by Davis, Martin

Computer Organization and Architecture

by William Stallings