Linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

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

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

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

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
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 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 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)

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

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)

Reports on mathematical logic.
Published: (1973)

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

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

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

The bulletin of symbolic logic.
Published: (1995)

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

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)

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

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, complexity, logic
by: Börger, E. (Egon), 1946-
Published: (1989)

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

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

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

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Published: (1982)

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

The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971
Published: (1973)

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

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

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

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
by: Goldblatt, Robert
Published: (2011)