Mathematical logic / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

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

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

Linear logic
Published: (1995)

Logic Colloquium 2007
Published: (2010)

Logic Colloquium 2006
Published: (2009)

Logic Colloquium 2006
Published: (2009)

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

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

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 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 '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 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 76 : proceedings of a conference held in Oxford in July 1976
Published: (1977)

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

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

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

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)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
Published: (1985)

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

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

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

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

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

The theory of constructive types : (principles of logic and mathematics)
by: Chwistek, Leon, 1884-1944
Published: (1925)

Philosophy of Mathematics in the Twentieth Century : Selected Essays
by: Parsons, Charles, 1933-
Published: (2014)

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

Mathematical thinking and writing : a transition to abstract mathematics
by: Maddox, Randall B.
Published: (2002)

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

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

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Published: (2015)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981
Published: (1982)