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.

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

Theory of computation অনুযায়ী Tourlakis, George J.

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

Introduction to languages and the theory of computation অনুযায়ী Martin, John C.

Introduction to languages and the theory of computation অনুযায়ী Martin, John C.

Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings

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

Computability and complexity theory অনুযায়ী Homer, Steven

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