Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- xx
- Text Language Code
- en
- Target Audience
- 一般
- Note (General)
- "A publication of The Association for Symbolic Logic"Publishers varies: 1992-1999 Springer-Verlag ; 1999-2006 Association for Symbolic Logic, A K Peters, Ltd.(Co-publisher) ; 2007- Cambridge University Press
- Related Material
- Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990Turing's legacy : developments from Turing's ideas in logicSimple theories and hyperimaginariesLogicism renewed : logical foundations for mathematics and computer scienceEffective mathematics of the uncountableWadge degrees and projective ordinalsInexhaustibility : a non-exhaustive treatmentOrdinal definability and recursion theoryLogic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003The Notre Dame lecturesLogic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995The core model iterability problemRecursion theoryModel theory of fieldsSet theory, arithmetic, and foundations of mathematics : theorems, philosophiesAspects of incompletenessA course in model theoryDescriptive set theory and forcing : how to prove theorems about Borel sets the hard wayReflections on the foundations of mathematics : essays in honor of Solomon FefermanStable domination and independence in algebraically closed valued fieldsAbstract recursion and intrinsic complexityQuantifiers, propositions and identity : admissible semantics for quantified modal and substructural logicsLogic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002Fine structure and iteration treesKurt Gödel : essays for his centennialLogic Colloquium 2006Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004Model theory of fieldsA guide to NIP theoriesLogic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999Model theory of stochastic processesLogic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998Logic and algebraic structures in quantum computingBounded variable logics and counting : a study in finite modelsAspects of incompletenessA general algebraic semantics for sentenial logicsLogic Colloquium 2007Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, ProceedingsStable domination and independence in algebraically closed valued fieldsNonstandard methods and applications in mathematicsReverse mathematics 2001Fine structure and iteration treesLectures on infinitary model theoryLogic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003Games, scales, and suslin cardinalsLogic Colloquium '90Recursion theoryDescriptive complexity, canonisation, and definable graph structure theoryA framework for priority argumentsLogic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005IntensionalityKurt Gödel : essays for his centennialDescriptive set theory and forcing : how to prove theorems about borel sets the hard wayA general algebraic semantics for sentential logicsOrdered graphs and distanced graphsA theory of truthComplexity of infinite-domain constraint satisfaction3-multi-graphs and 2-multi-tournamentsA comparison process for mouse pairsThe largest Suslin axiomThe largest Suslin axiomAlgorithmic randomness : progress and prospectsGödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacLarge cardinals, determinacy and other topics
- Related Material (URI)