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

Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings /
Published: (2011)

New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
Published: (2005)

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

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings /
Published: (2010)

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Published: (1990)

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /
Published: (2009)

Computability and logic /
by: Boolos, George
Published: (1980)

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

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

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

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Computability theory, semantics, and logic programming /
by: Fitting, Melvin, 1942-
Published: (1987)

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

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

Computability /
by: Tourlakis, George J.
Published: (1984)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Computable functions /
by: Shen, A. (Alexander), 1958-
Published: (2003)

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)

Computability theory /
by: Cooper, S. Barry, et al.
Published: (2017)

Computability : a mathematical sketchbook /
by: Bridges, D. S. (Douglas S.), 1945-
Published: (1994)

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

Handbook of computability theory /
Published: (1999)

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W., et al.
Published: (2014)

A programming approach to computability /
by: Kfoury, A. J.
Published: (1982)

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

Computability.

Computation and automata /
by: Salomaa, Arto
Published: (1985)

Models of computation : an introduction to computability theory /
by: Fernández, Maribel
Published: (2009)

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

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

Models of computation and formal languages /
by: Taylor, Ralph Gregory
Published: (1998)

Handbook of computability theory /
Published: (1999)

Computability in analysis and physics /
by: Pour-El, Marian B. (Marian Boykan), 1928-
Published: (1989)

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

Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)