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
- 図書
- Title
- Author/Editor
- series editor, Dov Gabbay
- Publication, Distribution, etc.
- Alternative Title
- Texts in logicStudies in logic : mathematical logic and foundations
- Place of Publication (Country Code)
- uk
- Target Audience
- 一般
- Note (General)
- Description based on v. 2Other title information, v. 8-: Mathematical logic and foundations. Cf. Ser. t.p. verso of v. 18
- Related Material
- Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstagProof theory of N4-related paraconsistent logicsThe lambda calculus, its syntax and semanticsNonmonotonic reasoning : essays celebrating its 30th anniversarySet theoryIncompleteness in the land of setsIntuitionistic set theoryLogic, navya-nyāya & applications : homage to Bimal Krishna MatilalAbstract algebraic logic : an introductory textbookThe foundations of mathematicsThe foundations of mathematicsPhilosophical applications of modal logicClassification theory for elementary abstract classesHow to sell a contradiction : the logic and metaphysics of inconsistencyEssays on set theoryDualities for structures of applied logicsA Lambda calculus satelliteHandbook of mathematical fuzzy logicProof-thoretic semanticsHandbook of paraconsistencySet theorySecond-order quantifier elimination : foundations, computational aspects and applicationsModel based reasoning in science and engineering : cognitive science, epistemology, logicLogics of proofs and justificationsModel theory for beginners : 15 lecturesInconsistency robustnessA Lambda calculus satelliteThe axiom of choiceMeasuring inconsistency in informationTrends in belief revision and argumentation dynamicsA new approach to quantum logic
- Related Material (URI)