Clear Search

Books+ Search Results

Location: Is
Is Is Not
Yale University Library
Subject (Genre): Is
Is Is Not
Congresses
Subject: Is
Is Is Not
Logic, Symbolic and mathematical

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Algebra and computer science
Published
Providence, Rhode Island : American Mathematical Society, [2016]
Location
Request for delivery to any Yale Library >> Conf Porto 2015
Format
Books
2.
Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
Author
Asian Logic Conference (13th : 2013 : Guangzhou, China)
Published
New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai : World Scientific, [2015]
©2015
Location
Request for delivery to any Yale Library >> Conf Guangzhou 2013
Format
Books
3.
Logic Colloquium 2007
Author
Logic Colloquium (2007 : Wrocław, Poland)
Published
Cambridge ; New York : Cambridge University Press, 2010.
Location
Request for delivery to any Yale Library >> L D379L
Format
Books
4.
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Author
Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
Published
Singapore ; Hackensack, NJ : World Scientific, c2010.
Location
Request for delivery to any Yale Library >> Conf Kobe 2008
Format
Books
5.
Logic Colloquium 2006
Author
Logic Colloquium (2006 : Nijmegen, Netherlands)
Published
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.
Location
Request for delivery to any Yale Library >> L C787L
Format
Books
6.
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Author
Logic Colloquium (2004 : Torino, Italy)
Published
Chicago, IL : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2008.
Location
Request for delivery to any Yale Library >> L An26L
Format
Books
7.
Symbolic-numeric computation
Published
Boston : Birkhauser Verlag AG Basel Boston Berlin, c2007.
Online
Table of contents only
Location
Request for delivery to any Yale Library >> Conf Xi'an 2005
Format
Books
8.
Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Author
Logic Colloquium '02 (2002 : Münster, Germany)
Published
Wellesley, Mass. : A K Peters, c2006.
Online
Table of contents
Location
Request for delivery to any Yale Library >> Conf Munster 2002
Format
Books
9.
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Author
Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Published
Singapore ; Hackensack, NJ : World Scientific, c2006.
Location
Request for delivery to any Yale Library >> Conf Novo-sibirsk 2005
Format
Books
10.
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Author
Latin-American Symposium on Mathematical Logic (10th : 1996 : Bogotá, Colombia)
Published
New York : Marcel Dekker, c1999.
Location
Request for delivery to any Yale Library >> Conf Bogota 1995
Format
Books
11.
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
Author
Logic Colloquium (1976 : Oxford)
Published
Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for U.S.A., Elsevier North-Holland, 1977.
Location
Request for delivery to any Yale Library >> Conf Oxford 1976
Library Shelving Facility (LSF) >> QA9 A1 L63 1976
Format
Books
12.
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Author
Tarski Symposium (1971 : University of California, Berkeley)
Published
Providence, R.I. : Published for the Association for Symbolic Logic by American Mathematical Society, 1974.
Location
Request for delivery to any Yale Library >> Shelved by title
Format
Books
13.
Aspects of mathematical logic : lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Varenna (Como), Italy, September 9-17, 1968
Author
C.I.M.E. Summer School (1968 : Varenna, Italy)
Published
Berlin ; London : Springer, 2010.
Location
Request for delivery to any Yale Library >> L C263a
Format
Books
14.
Les méthodes formelles en axiomatique
Author
Centre national de la recherche scientifique (France)
Published
Paris, [En] vente au Service des publications du Centre National de la recherche scientifique, 1953.
Location
Library Shelving Facility (LSF) >> Q101 F73 36
Request for delivery to any Yale Library >> Conf Paris 1950
Format
Books