A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability по Downey, R. G., Greenberg, Noam 1974-

Also available remotely for University of the Philippines System via IEEE Xplore. Click here to access thru EZproxy
Available for University of the Philippines System via IEEE Xplore. Click here to access

Discrete structures, logic, and computability по Hein, James L.

Three views of logic mathematics, philosophy, and computer science по Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Table of contents only

Theory of computation по Tourlakis, George J.

Connect to resource
Connect to resource (off-campus access)
Connect to resource
Connect to resource (off-campus access)

Theory of computation по Tourlakis, George J.

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy

Proofs and computations по Schwichtenberg, Helmut 1942-

Table of contents only

Concise guide to computation theory по Maruoka, Akira

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Introduction to languages and the theory of computation по Martin, John C.

Introduction to languages and the theory of computation по Martin, John C.

Computability and complexity theory по Homer, Steven

Available for University of the Philippines Diliman via SpringerLink. Click here to access