Bilaketaren emaitzak - "Computable functions"

Theory of computation nork 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 nork Martin, John C.

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

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

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

Mathematical logic and computability nork Keisler, H. Jerome

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

Mathematical logic and computability nork Kiesler, H. Jerome

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

Table of contents only

Computability and logic nork Boolos, George

Table of contents only