Computability and logic / Daniel E. Cohen.

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)

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

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

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

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

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

Reports on mathematical logic.
Published: (1973)

Linear logic
Published: (1995)

Logic Colloquium 2006
Published: (2009)

Logic Colloquium 2007
Published: (2010)

Logic Colloquium 2006
Published: (2009)

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
Published: (1975)

Mathematical logic in the 20th century
Published: (2003)

A beginner's further guide to mathematical logic
by: Smullyan, Raymond M.
Published: (2017)

Advances in linear logic
Published: (1995)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Published: (2007)

The bulletin of symbolic logic.
Published: (1995)

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Published: (2006)

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Published: (2007)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Published: (2007)

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Published: (1979)

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
Published: (1987)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
Published: (1977)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
Published: (1986)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Published: (1989)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
Published: (1988)

Proceedings of the tenth international symposium on multiple-valued logic : Northwestern University, Evanston, Illinois.
Published: (1980)

Lectures in logic and set theory. Volume 1, Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Lectures in logic and set theory
by: Tourlakis, George J.
Published: (2003)

Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
Published: (2015)

Lectures in logic and set theory. Volume 2, Set theory
by: Tourlakis, George J.
Published: (2003)

Infinitary logic and admissible sets.
by: Barwise, Kenneth Jon, 1942-
Published: (1967)

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

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

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