Automata and computability /

by Kozen, Dexter, 1951-
Published 1997

Automata, computability and complexity : theory and applications /

by Rich, Elaine
Published 2008

Computability /

by Weihrauch, K. (Klaus)
Published 1987

Computability : a mathematical sketchbook /

by Bridges, D. S. (Douglas S.), 1945-
Published 1994

Computability and information /

by Calude, Cristian, 1952-
Published 1994

Computability and logic /

by Boolos, George
Published 1980

Computability, complexity, logic /

by Börger, E. (Egon), 1946-
Published 1989

Computability : computable functions, logic, and the foundations of mathematics ; with, Computability and undecidability--a timeline, the story of the development of computable fun...

by Epstein, Richard L., 1947-
Published 2000

Computability in analysis and physics /

by Pour-El, Marian B. (Marian Boykan), 1928-
Published 1989

Computability theory /

by Cooper, S. B. (S. Barry)
Published 2004

Computability theory: an introduction /

by Jones, Neil D.
Published 1973

Computability theory : concepts and applications /

by Dunne, Paul E.
Published 1991

Computability & unsolvability.

by Davis, Martin, 1928-
Published 1958

Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

Published 2007

Computation, logic, philosophy : a collection of essays /

by Wang, Hao, 1921-
Published 1990

Discrete structures, logic, and computability /

by Hein, James L.
Published 2010

Edinburgh LCF : a mechanised logic of computation /

by Gordon, Michael J. C., 1948-
Published 1979

Introduction to computational complexity /

by Kubale, Marek
Published 1994

Introduction to languages and the theory of computation /

by Martin, John C.
Published 2003

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Published 2008