A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability de réir 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 de réir Hein, James L.

Three views of logic mathematics, philosophy, and computer science de réir Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Table of contents only

Theory of computation de réir Tourlakis, George J.

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

Proofs and computations de réir Schwichtenberg, Helmut 1942-

Table of contents only

Theory of computation de réir 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

Concise guide to computation theory de réir Maruoka, Akira

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

Computability and complexity theory de réir Homer, Steven

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

Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

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

Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

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