Computability and logic.

Show other versions (3)

Bibliographic Details
Main Author:	Boolos, George
Other Authors:	Burgess, John P., 1948- Jeffrey, Richard C.
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2007.
Edition:	Fifth edition /
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online Access:	Connect to: Table of contents only - All users (Cataloging @ Library of Congress)
Physical Description:	xiii, 350 pages : illustrations ; 26 cm
Format:	Book

Similar Items

Computability and logic
by: Boolos, George
Published: (2007)

Computability and logic
by: Boolos, George
Published: (2002)

Computability and logic
by: Boolos, George
Published: (1989)

Computability and logic
by: Cohen, Daniel E.
Published: (1987)

Computability
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)

Computability, complexity, logic
by: Börger, E. (Egon), 1946-
Published: (1989)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Subrecursion : functions and hierarchies
by: Rose, H. E. (Horace Edgar)
Published: (1984)

Proof and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

Computability theory
by: Weber, Rebecca, 1977-
Published: (2012)

An introduction to computable analysis
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)

Computability : computable functions, logic, and the foundations of mathematics.
by: Epstein, Richard L., 1947-
Published: (2000)

Computability : computable functions, logic, and the foundations of mathematics.
by: Epstein, Richard L., 1947-
Published: (2000)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published: (1999)

Generalized recursion theory. : Proceedings of the 1972 Oslo symposium
Published: (1974)

Recursive functionals
by: Sanchis, Luis E.
Published: (1992)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: (1980)

Recursive functions in computer theory
by: Péter, Rózsa, 1905-1977
Published: (1981)

Computability & unsolvability.
by: Davis, Martin, 1928-
Published: (1958)

Computability & unsolvability
by: Davis, Martin, 1928-
Published: (1982)

Computability with PASCAL
by: Mallozzi, John S.
Published: (1984)

Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published: (1999)

Formal systems and recursive functions ; proceedings
Published: (1965)

Computability in combinatory spaces : an algebraic generalization of abstract first order computability
by: Skordev, Dimitŭr Genchev
Published: (1992)

Logics of time and computation
by: Goldblatt, Robert
Published: (1987)

Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Degrees of unsolvability.
by: Sacks, Gerald E.
Published: (1963)

Logic from computer science : proceedings of a workshop held November 13-17, 1989
Published: (1992)

Computability, complexity, logic
by: Börger, E. (Egon), 1946-
Published: (1989)

Computability
by: Davis, Martin, 1928-
Published: (1974)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

Unsolvable classes of quantificational formulas
by: Lewis, Harry R.
Published: (1979)

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

Mathematical logic
by: Turing, Alan, 1912-1954
Published: (2001)

Reflexive structures an introduction to computability theory
by: Sanchis, Luis E.
Published: (1988)