Computability theory an introduction to recursion theory

QR Code

Computability theory an introduction to recursion theory

Bibliographic Details
Main Author:	Enderton, Herbert B. (Author)
Format:	Book
Language:	English
Published:	Amsterdam, Netherland ; Boston Academic Press c2011
Subjects:	Recursion theory

Similar Items

How to think about algorithms
by: Edmonds, Jeff 1963-
Published: (2008)

Computability theory & automata theory
by: Plante, Kristy, et al.
Published: (2012)

Media theory interdisciplinary applied mathematics
by: Eppstein, David, et al.
Published: (2008)

Handbook of mathematical induction theory and application
by: Gunderson, David S.
Published: (2011)

Basic discrete mathematics logic,set heory,and probability
by: Kohar, Richard

Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

An introduction to algorithmic information theory
by: Tolbert, Sheree
Published: (2014)

New computational paradigms : changing conceptions of what is computable
by: Cooper, S. B. [ (S. Barry)], et al.
Published: (2008)

Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993)

An introduction to lambda calculus [
by: Ricci, Raven
Published: (2014)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)

Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)

Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)

Fuzzy rationality a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)

Fuzzy logic for beginners
by: Mukaidono, Masao 1942-
Published: (2001)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)

Algorithm and data structure concepts & applications
by: Gaither, Melonie
Published: (2014)

Number [electronic resource] the language of science
by: Dantzig, Tobias 1884-1956, et al.
Published: (2005)

Handbook of satisfiability
by: Biere, Armin
Published: (2009)

المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)

Pendekatan konstruktivisme radikal dalam pendidikan Matematik
by: Nik Azis Nik Pa
Published: (1999)

Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)

Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1997)

Introduction to the theory of computation
by: Sipser, Michael
Published: (2006)

An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)

Introduction to the theory of computation
by: Sipser, Michael
Published: (2013)

Theory of computation for B.E (IT, CS), MCA, BSC, BCA, MSC and other computer courses
by: Sinha, Poonam, et al.
Published: (2016)

An introduction to information theory [
by: Benavides, Hamza
Published: (2014)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2007)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2006)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2001)

Automata theory in theoretical computer science [
by: Jensen, Tomas
Published: (2012)

Theory of computer science : automata, languages and computation
by: Mishra, K. L. P., et al.
Published: (2007)

Graph theory
by: Agarwal, Udit, et al.
Published: (2016)

Entropy and information theory
by: Gray, Robert M. 1943-
Published: (2011)

Elements of information theory
by: Cover, T. M. 1938-2012, et al.
Published: (2006)

A student's guide to coding and information theory
by: Moser, Stefan M., et al.
Published: (2012)