Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /

Handbook of computability theory /
Published: (1999)

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 /
by: Cooper, S. B. (S. Barry)
Published: (2004)

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

Edinburgh LCF : a mechanised logic of computation /
by: Gordon, Michael J. C., 1948-, et al.
Published: (1979)

Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings /
Published: (2006)

Formal systems and recursive functions /
Published: (1965)

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Published: (2001)

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

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

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

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

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

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

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

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

A course of pure mathematics /
by: Hardy, G. H. (Godfrey Harold), 1877-1947
Published: (1992)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
Published: (1995)

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

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Published: (2005)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

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

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

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

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

Algorithms and complexity : proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990 /
Published: (1990)

Recursive analysis /
Published: (1961)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

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

Algorithms and complexity : 6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings /
Published: (2006)

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

Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings /
Published: (2006)

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

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /
Published: (2005)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings /
Published: (2006)