Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 / edited by J. Stern.

Bibliographic Details
Uniform Title:	Logic Colloquium '81
Corporate Author:	Logic Colloquium Marseille, France
Other Authors:	Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931
Language:	English
Published:	Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
Series:	Studies in logic and the foundations of mathematics ; v. 107.
Subjects:	Logic, Symbolic and mathematical > Congresses.
Genre:	Congresses.
Physical Description:	xi, 384 pages : illustrations ; 23 cm.
Format:	Conference Proceeding Book

Similar Items

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

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

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

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

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 '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Published: (1989)

Logic Colloquium 2007
Published: (2010)

Logic Colloquium 2006
Published: (2009)

Logic Colloquium 2006
Published: (2009)

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

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 '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Published: (2006)

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

Linear logic
Published: (1995)

Advances in linear logic
Published: (1995)

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)

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

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

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

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

Reports on mathematical logic.
Published: (1973)

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

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Published: (1999)

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

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

The bulletin of symbolic logic.
Published: (1995)

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

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

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

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

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

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

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

Logica universalis : towards a general theory of logic
Published: (2005)

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

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

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Published: (2002)