Search by Bookstore
Table of Contents
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
- 図書
- ISBN
- 0720422000
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- ne
- Target Audience
- 一般
- Note (General)
- Publisher changes to ElsevierNCID:AA00851874
- Related Material
- Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968Toward a systematic pragmaticsFoundations of set theoryClassical recursion theory : the theory of functions and sets of natural numbersLogic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991Intuitionism : An introductionOutlines of a formalist philosophy of mathematicsProblems in the philosophy of mathematicsGeneralized recursion theory II : proceedings of the 1977 Oslo symposiumLogic, methodology and philosophy of science : proceedings of the 1964 International CongressElements of mathematical logic : (Model theory)Introduction to model theory and to the metamathematics of algebraRecursive functionalsIntuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968Recursive analysisModel theoryAn algebraic approach to non-classical logicsElements of mathematical logic : (model theory)Introduction to the theory of finite automataLogical frameworks for truth and abstraction : an axiomatic studyNon-standard analysisFormal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963Selected works, Jan LukasiewiczClassical recursion theorySentences undecidable in formalized arithmetic : an exposition of the theory of Kurt GödelProceedings of the Second Scandinavian Logic SymposiumAxiomatic set theoryLogic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969Combinatory logicLogic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967Mathematical interpretation of formal systemsRelation algebrasCombinatory logicThe propositional logic of BoethiusSet theory : with an introduction to descriptive set theoryToward a systematic pragmaticsMany-dimensional modal logics : theory and applicationsLogic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977Elementary induction on abstract structuresUndecidable theoriesAn essay in modal logicContributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966Aspects of inductive logicClassification theory and the number of non-isomorphic modelsModel theoryOn the metamathematics of algebraApuleian logic : the nature, sources, and influence of Apuleius's Peri hermeneiasLogic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983Hypothetical reasoningRealizability : an introduction to its categorical sideProof theoryTruth and consequence in mediaeval logicRecursive algebra, analysis and combinatoricsLogic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978Large infinitary languages : model theoryCategorical logic and type theoryClassification theory and the number of non-isomorphic modelsLogic Colloquium 76 : proceedings of a conference held in Oxford in July 1976Set theoryIntroduction to model theory and to the metamathematics of algebraConstructivism in mathematics : an introductionA survey of mathematical logicAristotle's modal syllogismsCategorical logic and type theoryThe lambda calculus : its syntax and semanticsNon-standard analysisRecursive analysisThe theory of models : proceedings of the 1963 International Symposium at BerkeleyAncient formal logicLogic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980Equivalents of the axiom of choiceA deductive theory of space and timeSets and classes : on the work by Paul BernaysLogic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978Lincos : design of a language for cosmic intercourseThe lambda calculus : its syntax and semanticsRelation algebras by gamesContributions to non-standard analysisLogic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic LogicWord problems II : the Oxford bookTruth and consequence in mediaeval logicTools and techniques in modal logicQuantification in nonclassical logicFoundational studies : selected worksLogic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982Solvable cases of the decision problemConstructive order typesIntuitionism : An introductionSets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987Problems in the philosophy of mathematicsThe metamathematics of algebraic systems : collected papers, 1936-1967Equivalents of the axiom of choiceThe theory of semisetsThe axiom of choiceProceedings of the third Scandinavian Logic SymposiumAbstract set theoryResiduated lattices : an algebraic glimpse at substructural logicsLogic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987Foundations of infinitesimal stochastic analysisProblems in the philosophy of scienceRecursive model theoryProof theoryNomological statements and admissible operationsAbstract set theorySolvable cases of the decision problemComputability, complexity, logicMathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968Lectures on the Curry-Howard isomorphismUndecidable theoriesThe theory of models : proceedingsComputable structures and the hyperarithmetical hierarchyCombinatorial set theory : partition relations for cardinalsTopoi : the categorial analysis of logicHarvey Friedman's research on the foundations of mathematicsRudiments of μ-calculusThe lambda calculus : its syntax and semanticsSet theory : with an introduction to descriptive set theoryUndecidable theoriesBoole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryRecursive number theory : a development of recursive arithmetic in a logic-free equation calculusLogic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966Set theory : an introduction to independence proofsA transfinite type theory with type variablesThe problem of inductive logicLanguage in action : categories, lambdas and dynamic logicIntroduction to model theory and to the metamathematics of algebraAn algebraic approach to non-classical logicsSoutheast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981The collected papers of Gerhard GentzenHandbook of computability theoryThe L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981Cylindric algebrasAxiomatic set theoryConstructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957Dictionary of symbols of mathematical logicBoole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryTopoi : the categorial analysis of logicHarvey Friedman's research on the foundations of mathematicsThe foundations of mathematics : a study in the philosophy of scienceWord problems : decision problems and the Burnside problem in group theoryCombinatorial set theorySet theory : an introduction to independence proofsTruth, syntax and modality : proceedings of the Temple University Conference on Alternative SemanticsAbstract set theoryMany-valued logicsAbstract set theoryIntroduction to model theory and to the metamathematics of algebraLogic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984Proof theorySet theory : an introduction to large cardinalsThe collected papers of Gerhard GentzenIntensional mathematicsProceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957Handbook of proof theoryThe propositional logic of BoethiusGeneralized recursion theory II : proceedings of the 1977 Oslo symposiumAxiomatic set theoryLogic, methodology and philosophy of science IV : ProceedingsSentences undecidable in formalized arithmetic : an exposition of the theory of Kurt GödelMathematical interpretation of formal systemsLogic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973Proceedings of the Third Scandinavian Logic SymposiumModel theoryMany-valued logicsLogic in algebraic form : three languages and theoriesThe foundations of mathematics : a study in the philosophy of scienceFormal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963The lambda calculus : its syntax and semanticsAbstract set theoryComplete theoriesEquivalents of the axiom of choice, IISet theoryRecursive number theory : a development of recursive arithmetic in a logic-free equation calculusLanguages with expressions of infinite lengthAdmissibility of logical inference rulesFundamentals of generalized recursion theoryFoundations of set theoryComplete theoriesAlgebra of proofsThe foundations of intuitionistic mathematics : especially in relation to recursive functionsTheory of relationsIntuitionism : an introductionConstructible sets with applicationsIntuitionistic logic, model theory and forcingGeneralized recursion theory : proceedings of the 1972 Oslo symposiumOrdinal algebrasClassical recursion theory : the theory of functions and sets of natural numbersLogic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988Selected papers on AutomathTheory of relationsThe logical systems of LesniewskiComputer programming and formal systemsNon-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976Descriptive set theoryModel theory for infinitary logic : logic with countable conjunctions and finite quantifiersNon-standard analysisThe axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958Hausdorff gaps and limitsThe theory of functions and sets of natural numbersSets and classes : on the work by Paul BernaysMathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978Handbook of mathematical logicRecursive number theory : a development of recursive arithmetic in a logic-free equation calculusLogic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979Intuitionistic logic, model theory and forcing
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research