在庫リスト ２００８年
2.数理論理学・数学基礎論
20001 Abhyankar,S.:
Local Analytic Geometry.
2000 480 pp.
(World Sci.) 9789810245054 15,850.
20002 Aczel,P.et al.(eds.):
Proof Theory.
1992 306 pp.
(Cambridge) 9780521414135 17,800.
20003 Adamowicz,Z./Zbierski,P.:
Logic of Mathematics.
(Pure and Applied Mathematics)
1997 260 pp.
(Wiley) 9780471060260 13,120.
20004 Aliseda-Llera,A.et al.(eds.):
Computing Natural Language.
1998 158 pp.
(C.S.L.I.) 9781575861005 5,040.
20005 Anglin,W./Lambek,J.:
The Heritage of Thales.
(Undergraduate Texts in Mathematics)
1995 327 pp.
(Springer) 9783540945444 9,590.
／注文方法／ボタンの
20006 Apt,K./Wallace,C.:詳報掲載
Constraint Logic Programming Using Eclipse.
2006 345 pp.
(Cambridge) 9780521866286 12,460.
20007 Arnold,D.:詳報掲載
Abelian Groups and Representations of Finite
Partially Orderd Sets.
(CMS Books in MathematicsVol. 2)
2000 330 pp.
(Springer) 9780387989822 13,290.
20008 Asher,N.:
Reference to Abstract Objects in Discourse.
(Studies in Linguistics and Philosophy, Vol. 50)
1993 455 pp.
(Kluwer) 9780792322429 23,430.
20009 Awodey,S.:詳報掲載
Category Theory.
(Oxford Logic Guides, Vol. 49)
2006 272 pp.
(Oxford) 9780198568612 24,890.
20010 Azzouni,J.:
Tracking Reason: Proof, Consequence, and Truth.
2005 256 pp.
(Oxford/USA) 9780195187137 8,910.
／注文方法／ボタンの
20011 Baaz,M.et al.(eds.):詳報掲載
Logic Colloquium ・1.
(Lecture Notes in Logic, Vol. 20)
2005 496 pp.
(A K Peters) 9781568812472 12,530.
20012 Baaz,M.et al.(eds.):詳報掲載
Logic Colloquium ・1. (Paper ed.)
(Lecture Notes in Logic, Vol. 20)
2005 496 pp.
(A K Peters) 9781568812489 7,120.
20013 Badesa,C.:詳報掲載
The Birth of Model Theory: Lowenheim's Theorem in
the Frame of the Theory of Relatives.
2004 248 pp.
(Princeton Univ.) 9780691058535 8,690.
20014 Bagaria,J./Todorcevic,S.(eds.):詳報掲載
Set Theory: Centre de Recerca Matematica
Barcelona, 2003-2004.
(Trends in Mathematics)
2006 415 pp.
(Birkhauser) 9783764376918 21,850.
20015 Balbiani,P.et al.(eds.):
Advances in Modal Logic, Vol. 4.
2003 523 pp.
(Kings College Pub.) 9780954300623 6,740.
／注文方法／ボタンの
20016 Beasley,J.:詳報掲載
The Mathematics of Games. 1989 Reprint
2006 176 pp.
(Dover) 9780486449760 1,770.
20017 Bell,J.:詳報掲載
Set Theory, 3rd ed.
(Oxford Logic Guides, Vol. 47)
2005 272 pp.
(Oxford) 9780198568520 27,920.
20018 Bell,J./Slomson,A.:
Models and Ultraproducts: An Introduction. 1974 Reprint
2006 352 pp.
(Dover) 9780486449791 3,490.
20019 Bennett,D.:詳報掲載
Logic Made Easy: How to Know When Language Deceives You.
2005 256 pp.
(Norton) 9780393326925 2,530.
20020 Bernays,P.:
Axiomatic Set Theory.
1991 227 pp.
(Dover) 9780486666372 2,100.
／注文方法／ボタンの
20021 Bhaskara Rao,K.:詳報掲載
Theory of Generalized Inverse Over Commutative Rings.
(Algebra Logic and Applications, Vol. 17)
2002 167 pp.
(Taylor & Francis) 9780415272483 11,640.
20022 Blackburn,P.et al.(eds.):
Handbook of Modal Logic.
(Studies in Logic and Practical Reasoning, Vol. 3)
2005 1100 pp.
(North Holland) 9780444516909 36,220.
20023 Blackburn,P.et al.:詳報掲載
Modal Logic.
(Cambridge Tracts in Theoretical Computer Science, Vol. 53)
2002 554 pp.
(Cambridge) 9780521527149 9,620.
20024 Blass,A./Zhang,Y.(eds.):詳報掲載
Logic and Its Applications.
(Contemporary Mathematics, Vol. 380)
2005 306 pp.
(A.M.S.) 9780821834749 13,280.
20025 Bochman,A.:詳報掲載
Explanatory Nonmonotonic Reasoning.
2005 400 pp.
(World Sci.) 9789812561015 12,180.
／注文方法／ボタンの
20026 Borceux,F./Bourn,D.:
Mal'Sev, Protomodular,
Homological and Semi -Abelian Categories.
(Mathematics and its Applications, Vol. 566)
2004 479 pp.
(Kluwer) 9781402019616 27,130.
20027 Bornat,R.:詳報掲載
Proof and Disproof in Formal Logic. (Paper ed.)
2005 300 pp.
(Oxford) 9780198530275 9,420.
20028 Boroczky,K.et al.(eds.):詳報掲載
Higher Dimensional Varieties and Rational Points.
(Bolyai Society Mathematical Studies, Vol. 12)
2003 300 pp.
(Springer) 9783540008200 20,600.
20029 Brady,R.:詳報掲載
Universal Logic. (Paper ed.)
(CSLI Lecture Notes, Vol. 109)
2006 360 pp.
(C.S.L.I.) 9781575862569 6,370.
20030 Brady,R.T.:
Relevant Logics and Their Rivals, Vol. II:
Introduction to Further Topics.
2002 380 pp.
(Ashgate) 9780754611134 18,960.
／注文方法／ボタンの
20031 Bridges,D./Vita,L.:詳報掲載
Techniques of Constructive Analysis.
(Universitext)
2006 250 pp.
(Springer) 9780387336466 9,030.
20032 Buechler,S.:
Essential Stability Theory.
(Perspectives in Mathematical Logic)
1996 355 pp.
(Springer) 9783540610113 15,430.
20033 Cameron,P.:
Sets, Logic and Categories.
(Springer Undergraduate Mathematics)
1999 180 pp.
(Springer) 9781852330569 6,120.
20034 Cantor,G.:
Sur les fondements de la theorie des ensembles
transfinis. 1899 Reprint Nouveau Tirage 2006
2006 108 pp.
(J. Gabay) 9782876470620 5,500.
20035 Carpenter,R.:詳報掲載
The Logic of Typed Feature Structures:
with Applications to Unification Grammars, Logic
Programs and Constraint Resolution. (Paper ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 32)
2005 270 pp.
(Cambridge) 9780521022545 7,650.
／注文方法／ボタンの
20036 Casti,J./dePauli,W.:詳報掲載
Godel: A Life of Logic.
2000 210 pp.
(Perseus) 9780738202747 4,570.
20037 Chagrov,A./Zakharayaschev,M.:
Modal Logic.
(Oxford Logic Guides, Vol. 35)
1997 624 pp.
(Oxford) 9780198537793 31,500.
20038 Chajda,I./Halas,R./Kuhr,J.:詳報掲載
Semilattice Structures.
(Research and Exposition in Mathematics, Vol. 30)
2007 228 pp.
(Heldermann) 9783885382300 6,970.
20039 Chartrand,G./Polimeni,A./Zhang,P.:詳報掲載
Mathematical Proofs: A Transition to Advanced Mathematics.
2003 400 pp.
(Addison) 9780201710908 18,120.
20040 Chatzidakis,Z.et al.(eds.):
Logic Colloquium '02.
(Lecture Notes in Logic, Vol. 27)
2006 370 pp.
(A K Peters) 9781568813004 12,390.
／注文方法／ボタンの
20041 Chatzidakis,Z.et al.(eds.):
Logic Colloquium '02. (Paper ed.)
(Lecture Notes in Logic, Vol. 27)
2006 370 pp.
(A K Peters) 9781568813011 7,000.
20042 Chiara,M./Giuntini,R./Laudisa,F.(eds.):詳報掲載
Language, Quantum, Music: Selected Contributed
Papers of the Tenth International Congress of
Logic, Methodology and Philosophy of Science,
Florence, August 1995.
(Synthese Library, Vol. 281)
1999 338 pp.
(Kluwer) 9780792357278 19,380.
20043 Cholak,P.(ed.):詳報掲載
The Notre Dame Lectures.
(Lecture Notes in Logic, Vol. 18)
2005 200 pp.
(A K Peters) 9781568812496 10,440.
20044 Cholak,P.(ed.):詳報掲載
The Notre Dame Lectures. (Paper ed.)
(Lecture Notes in Logic, Vol. 18)
2005 200 pp.
(A K Peters) 9781568812502 6,090.
20045 Church,A.:
Introduction to Mathematical Logic.
(Princeton Landmarks in Mathematics and Physics)
1996 378 pp.
(Princeton Univ.) 9780691029061 10,170.
／注文方法／ボタンの
20046 Ciesielski,K.:
Set Theory for the Working Mathematician. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 39)
1997 236 pp.
(Cambridge) 9780521594653 6,300.
20047 Ciesielski,K./Pawlikowski,J.:詳報掲載
The Covering Property Axiom, CPA: A Combinatorial
Core of the Interated Perfect Set Model.
(Cambridge Tracts in Mathematics, Vol. 164)
2004 170 pp.
(Cambridge) 9780521839204 14,560.
20048 Collingwood,E./Lohwater,A.:
The Theory of Cluster Sets. (Paper ed.)
(Cambridge Tracts in Mathematics, Vol. 56)
2004 223 pp.
(Cambridge) 9780521604819 6,190.
20049 Cori,R./Lascar,D.:
Mathematical Logic: A Course with Exercises,
Part 1: Propositional Calculus, Boolean Algebras,
Predicate Calculus. (Paper ed.)
2000 358 pp.
(Oxford) 9780198500483 9,240.
20050 Cori,R./Lascar,D.:
Mathematical Logic: A Course with Exercises,
Part 2: Recursion Theory, Godel's Theorems,
Set Theory, Model Theory. (Paper ed.)
2001 342 pp.
(Oxford) 9780198500506 12,440.
／注文方法／ボタンの
20051 Cori,R.et al.(eds.):詳報掲載
Logic Colloquium 2000: Proceedings of The Annual
European Summer Meeting of The Association For
Symbolic Logic, Held In Paris, France, July
23-31, 2000.
(Lecture Notes in Logic, Vol. 19)
2005 350 pp.
(A K Peters) 9781568812519 12,180.
20052 Cori,R.et al.(eds.):詳報掲載
Logic Colloquium 2000: Proceedings of The Annual
European Summer Meeting of The Association For
Symbolic Logic, Held In Paris, France, July
23-31, 2000. (Paper ed.)
(Lecture Notes in Logic, Vol. 19)
2005 350 pp.
(A K Peters) 9781568812526 6,760.
20053 Crosilla,L./Schuster,P.(eds.):詳報掲載
From Sets and Types to Topology and Analysis:
Towards Practicable Foundations for Constructive
Mathematics.
(Oxford Logic Guides, Vol. 48)
2005 400 pp.
(Oxford) 9780198566519 28,270.
20054 Cutland, N.:詳報掲載
Loeb Measures in Practice: Recent Advances: EMS
Lectures 1997.
(Lecture Notes in Mathematics, Vol. 1751)
2000 122 pp.
(Springer) 9783540413844 5,570.
20055 Cutland,N.et al.(eds.):詳報掲載
Nonstandard Methods and Applications in Mathematics.
(Lecture Notes in Logic, Vol. 25)
2006 262 pp.
(A K Peters) 9781568812915 13,270.
／注文方法／ボタンの
20056 Cutland,N.et al.(eds.):詳報掲載
Nonstandard Methods and Applications in
Mathematics. (Paper ed.)
2006 262 pp.
(A K Peters) 9781568812922 6,230.
20057 Daepp,U./Gorkin,P.:
Reading, Writing, and Proving: A Closer Look at Mathematics.
(Undergraduate Texts in Mathematics)
2003 408 pp.
(Springer) 9780387008349 10,330.
20058 Davey,B./Priestley,H.:
Introduction to Lattices and Order, 2nd (Paper ed.)
2002 298 pp.
(Cambridge) 9780521784511 8,320.
20059 De Bruyn,B.:詳報掲載
Near Polygons.
(Frontiers in Mathematics)
2006 300 pp.
(Birkhauser) 9783764375522 8,700.
20060 Dehornoy,P.et al.(eds.):詳報掲載
Why Are Braids Orderable
(Panoramas et syntheses, Vol. 14)
2003 190 pp.
(S.M.F.) 9782856291351 7,520.
／注文方法／ボタンの
20061 Deshouillers,J./Landreau,B./Yudin,A.:詳報掲載
Structure Theory of Set Addition.
(Asterisque, Vol. 258)
1999 436 pp.
(S.M.F.) 9781000013191 15,000.
20062 Devlin,K.:詳報掲載
Sets, Functions, and Logic: An Introduction to
Abstract Mathematics, 3rd ed.
(Chapman Hall /CRC Mathematics Series, Vol. 25)
2003 155 pp.
(Chapman & Hall) 9781584884491 8,890.
20063 Devlin,K.:
The Joy of Sets. 2nd ed.
(Undergraduate Texts in Mathematics)
1993 192 pp.
(Springer) 9783540940944 9,540.
20064 Doetz,K./Van Eijck,J.:
The Haskell Road to Logic, Maths and Programming.
2004 444 pp.
(King's College) 9780954300692 6,460.
20065 Dorwart,H.et al.(eds.) :詳報掲載
The Geometry of Incidence.
(Problem Books)
2000 250 pp.
(M.A.A.) 9780883856420 5,870.
／注文方法／ボタンの
20066 Dossey,J.(ed.):
Confronting the Core Curriculum.
(MAA Notes, Vol. 45)
1998 136 pp.
(M.A.A.) 9780883851555 8,420.
20067 Downey,R.et al.(eds.):
Proceedings of the 7th and 8th Asian Logic
Conference: 7th Conference: Hsi -Tou, 1999/8th
Conference: Chongqing, 2002.
2003 300 pp.
(World Sci.) 9789812382610 14,910.
20068 Downey,R./Goncharov,S./Ono,H.(eds.):詳報掲載
Mathematical Logic in Asia: Proceedings of the
9th Asian Logic Conference Novosibirsk, 2005.
2006 328 pp.
(World Sci.) 9789812700452 13,810.
20069 Dunn,J./Hardegree,G.:詳報掲載
Algebraic Methods in Philosophical Logic.
(Oxford Logic Guides, Vol. 41)
2001 470 pp.
(Oxford) 9780198531920 27,360.
20070 Ebbinghaus,H.-D./Flum,J.:
Finite Model Theory, 2nd ed. 1999. 2nd Printing
(Springer Monographs in Mathematics)
2005 360 pp.
(Springer) 9783540287872 11,450.
／注文方法／ボタンの
20071 Ehrhard,T.et al.(eds.):詳報掲載
Linear Logic in Computer Science.
(London Mathematical Society Lecture Note Series, Vol. 316)
2004 391 pp.
(Cambridge) 9780521608572 13,350.
20072 Eklof,P./Mekler,A.(eds.):詳報掲載
Almost Free Modules: Set -Theoretic Methods, Revised ed.
(North-Holland Mathematical Library, Vol. 65)
2002 597 pp.
(North Holland) 9780444504920 26,850.
20073 Enayat,A./Kalantari,I./Moniri,M.(eds.):詳報掲載
Logic in Tehran: Proceedings of the Workshop and
Conference on Logic, Algebra, and Arithmetic,
Held Oct. 2003.
(Lecture Notes in Logic, Vol. 26)
2006 361 pp.
(A K Peters) 9781568812953 11,830.
20074 Enayat,A./Kossak,R.(eds.):詳報掲載
Nonstandard Models of Arithmetic and Set Theory.
(Contemporary Mathematics, Vol. 361)
2004 167 pp.
(A.M.S.) 9780821835357 9,850.
20075 Enderton,H.:
A Mathematical Introduction to Logic, 2nd ed.
2000 368 pp.
(Academic) 9780122384523 16,910.
／注文方法／ボタンの
20076 Epstein,R.:詳報掲載
Classical Mathematical Logic.
2006 544 pp.
(Princeton Univ.) 9780691123004 13,750.
20077 Ershov,Yu.L.et al.(eds.):
Handbook of Recursive Mathematics, Vol. 1 and 2.
2 Vols. Set.
(Studies in Logic and the Foundations of Mathematics, Vol. 138.139)
1998 1372 pp.
(North Holland) 9780444501073 37,910.
20078 Feferman,A./Feferman,S.:詳報掲載
Alfred Tarski: Life and Logic.
2004 400 pp.
(Cambridge) 9780521802406 6,120.
20079 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. I: Publications
1929 -1936. (Paper ed.)
2001 474 pp.
(Oxford/USA) 9780195147209 8,010.
20080 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. II:
Publications 1938 -1974. (Paper ed.)
2001 407 pp.
(Oxford/USA) 9780195147216 8,010.
／注文方法／ボタンの
20081 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. III:
Unpublished Essays and Lectures. (Paper ed.)
2001 532 pp.
(Oxford/USA) 9780195147223 8,010.
20082 Feferman,S.(ed.) :詳報掲載
Kurt Godel: Collected Works, Vol. IV: Selected
Correspondence, A. -G.
2003 662 pp.
(Oxford) 9780198500735 31,410.
20083 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. V: Selected
Correspondence, H -Z.
2003 664 pp.
(Oxford) 9780198500759 34,900.
20084 Feltz,B./Marc, C./Philippe,G.(eds.) :
Self-Organization and Emergence in Life Sciences.
(Synthese Library, Vol. 331)
2006 360 pp.
(Springer) 9781402039164 29,750.
20085 Fitting,M./Orlowska,E.(eds.):
Beyond Two: Theory and Applications of Multiple
Valued Logic.
2003 374 pp.
(Physica Vlg.) 9783790815412 14,750.
／注文方法／ボタンの
20086 Foreman,M.et al.:詳報掲載
Descriptive Set Theory and Dynamical Systems.
(London Mathematical Society Lecture Note Series, Vol. 277)
2000 291 pp.
(Cambridge) 9780521786447 9,900.
20087 Forster,T.:詳報掲載
Logic, Induction and Sets.
(London Mathematical Society Student Texts, Vol. 56)
2003 234 pp.
(Cambridge) 9780521826211 13,500.
20088 Franzen,T.:
Godel's Theorem: An Incomplete Guide to Its Use and Abuse.
2005 200 pp.
(A K Peters) 9781568812380 4,190.
20089 Friedman,Sy.D.:
Fine Structure and Class Forcing.
(de Gruyter Series in Logic and Its Applications, Vol. 3)
2000 221 pp.
(de Gruyter) 9783110167771 15,400.
20090 Fulton,W./Harris,J.:
Representation Theory:
A First Course, Corrected 3rd Printing 1999.
(Graduate Texts in Mathematics, Vol. 129)
1991 551 pp.
(Springer) 9780387974958 9,950.
／注文方法／ボタンの
20091 Gabbay,D.et al.(eds.):詳報掲載
Mathematical Problems from Applied Logic, I:
Logics for the XXIst Century.
(International Mathematical Series, Vol. 4)
2005 375 pp.
(Springer) 9780387286884 28,880.
20092 Gabbay,D.et al.(eds.):詳報掲載
Mathematical Problems from Applied Logic, II:
Logics for the XXIst Century.
(International Mathematical Series, Vol. 5)
2007 354 pp.
(Springer) 9780387692449 35,270.
20093 Gabbay,D./Guenthner,F.(eds.):
Handbook of Philosophical Logic, Vol. 4, 2nd ed.
2001 444 pp.
(Springer) 9781402001390 23,860.
20094 Gabbay,D./Guenthner,F.(eds.):
Handbook of Philosophical Logic, Vol. 5, 2nd ed.
2002 360 pp.
(Springer) 9781402002359 26,520.
20095 Gabbay,D./Guenthner,F.(eds.):詳報掲載
Handbook of Philosophical Logic, Vol. 6, 2nd ed.
2002 420 pp.
(Springer) 9781402005831 27,240.
／注文方法／ボタンの
20096 Gabbay,D./Guenthner,F.(eds.):詳報掲載
Handbook of Philosophical Logic, Vol. 7, 2nd ed.
2002 364 pp.
(Springer) 9781402005992 23,860.
20097 Gabbay,D./Guenthner,F.(eds.):詳報掲載
Handbook of Philosophical Logic, Vol. 8, 2nd ed.
2002 368 pp.
(Springer) 9781402006654 23,860.
20098 Gabbay,D./Guenthner,F.(eds.):詳報掲載
Handbook of Philosophical Logic, Vol. 12, 2nd ed.
2005 360 pp.
(Springer) 9781402030918 24,640.
20099 Gabbay,D.et al.(eds.):詳報掲載
Many -Dimensional Modal Logics: Theory and Applications.
(Studies in Logic and the Foundations of Mathematics, Vol. 148)
2003 768 pp.
(North Holland) 9780444508263 30,150.
20100 Gabbay,D./Maksimova,L.:詳報掲載
Interpolation and Definability in Modal Logics:
Modal and Intuitionistic Logic.
(Oxford Logic Guides, Vol. 46)
2005 512 pp.
(Oxford) 9780198511748 30,160.
／注文方法／ボタンの
20101 Gabbay,D.et al.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 1: Logic Foundations.
1993 518 pp.
(Oxford) 9780198537458 36,540.
20102 Gabbay,D.et al.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 2:
Deduction Methodologies.
1994 496 pp.
(Oxford) 9780198537465 41,850.
20103 Gabbay,D.et al.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 4:
Epistemic and Temporal Reasoning.
1995 611 pp.
(Oxford) 9780198537915 23,850.
20104 Galatos,N.et al.:詳報掲載
Residuated Lattices: An Algebraic Glimpse at
Substructural Logics.
(Studies in Logic and the Foundations of Mathematics, Vol. 151)
2007 532 pp.
(North Holland) 9780444521415 24,160.
20105 Galavotti,C.(ed.):
Cambridge and Vienna: Frank.P.Ramsy and the Vienna Circle.
2006 257 pp.
(Springer) 9781402041006 29,430.
／注文方法／ボタンの
20106 Gao,S./Jackson,S./Zhang,Y.(eds.):詳報掲載
Advances in Logic.
(Contemporary Mathematics, Vol. 425)
2007 150 pp.
(A.M.S.) 9780821838198 8,930.
20107 Gelfand,S./Gerver,M./Kirillov,A.(eds.):
Sequences, Combinations, Limits.
2002 160 pp.
(Dover) 9780486425665 1,770.
20108 Gilmore,P.(ed.) :詳報掲載
Logicism Renewed:
Logical Foundations for Mathematics and Computer Science.
(Lecture Notes in Logic, Vol. 23)
2006 408 pp.
(A K Peters) 9781568812755 11,660.
20109 Gilmore,P.(ed.):詳報掲載
Logicism Renewed: Logical Foundations for
Mathematics and Computer Science. (Paper ed.)
2006 250 pp.
(A K Peters) 9781568812762 6,590.
20110 Godel,K.:
The Consistency of the Continuum Hypothesis. (Paper ed.)
(Annals of Mathematics Studies, Vol. 3)
1968 72 pp.
(Princeton Univ.) 9780691079271 4,720.
／注文方法／ボタンの
20111 Hajnal,A./Hamburger,P.:
Set Theory. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 48)
1999 316 pp.
(Cambridge) 9780521596671 8,230.
20112 Hall,R.R.:
Sets of Multiples.
(Cambridge Tracts in Mathematics, Vol. 118)
1996 264 pp.
(Cambridge) 9780521404242 12,190.
20113 Hart,B./Valeriote,M.(eds.):詳報掲載
Lectures on Algebraic Model Theory.
(Fields Institute Monographs, Vol. 15)
2001 111 pp.
(A.M.S.) 9780821827055 5,370.
20114 Harzheim,E.:詳報掲載
Ordered Sets.
(Advances in Mathematics, Vol. 7)
2005 386 pp.
(Springer) 9780387242194 18,390.
20115 Haskell,D./Pillay,A./Steinhorn,C.:詳報掲載
Model Theory, Algebra, and Geometry.
(Mathematical Science Research Institute Publications, Vol. 39)
2000 227 pp.
(Cambridge) 9780521780681 11,100.
／注文方法／ボタンの
20116 Henkin,L.et al.:
Cylindrick Algebrs, Part I.
1971 508 pp.
(North Holland) 9780720420432 30,270.
20117 Henson,C./Iovino,J./Kechris,A./Odell,E.:詳報掲載
Analysis and Logic.
(London Mathematical Society Lecture Note Series, Vol. 262)
2003 288 pp.
(Cambridge) 9780521648615 9,090.
20118 Herrlich,H.:
Axiom of Choice.
(Lecture Notes in Mathematics, Vol. 1876)
2006 210 pp.
(Springer) 9783540309895 9,550.
20119 Hinman,P.:詳報掲載
Fundamentals of Mathematical Logic.
2005 896 pp.
(A K Peters) 9781568812625 14,640.
20120 Hirsch,R./Hodkinson,I.:詳報掲載
Relation Algebras by Games.
(Studies in Logic and the Foundations of Mathematics, Vol. 147)
2002 712 pp.
(North Holland) 9780444509321 23,550.
／注文方法／ボタンの
20121 Hohle,U./Rodabaugh,R.:
Mathematics of Fuzzy Sets:
Logic, Topology, and Measure Theory.
1999 716 pp.
(Kluwer) 9780792383888 51,850.
20122 Hooker,J.:詳報掲載
Logic -Based Methods for Optimization.
(Wiley Series in Discrete Mathematics and Optimization)
2000 495 pp.
(Wiley) 9780471385219 19,550.
20123 Huth,M./Ryan,M.:詳報掲載
Logic in Computer Science, 2nd ed.
2004 450 pp.
(Cambridge) 9780521543101 10,980.
20124 Janelidze,G./Pareigis,B./Tholen,W.(eds.):詳報掲載
Galois Theory, Hopf Algebras, and Semiabelian Categories.
(Fields Institute Communications, Vol. 43)
2004 570 pp.
(A.M.S.) 9780821832905 22,540.
20125 Just,W./Weese,M.:
Discovering Modern Set Theory, I: The Basics.
(Graduate Studies in Mathematics, Vol. 8)
1995 210 pp.
(A.M.S.) 9780821802663 7,260.
／注文方法／ボタンの
20126 Kamareddine,F./Laan,T./Nederpelt,R.:詳報掲載
A Modern Perspective on Type Theory:
From its Origins until Today.
(Appied Logic Series, Vol. 29)
2004 357 pp.
(Kluwer) 9781402023347 25,120.
20127 Kanamori,A.:詳報掲載
The Higher Infinite, 2nd ed.
(Springer Monographs in Mathematics)
2003 540 pp.
(Springer) 9783540003847 25,840.
20128 Kaye,R.:詳報掲載
The Mathematics of Logic:
A Guide to Completeness Theorems and their Applications.
2007 220 pp.
(Cambridge) 9780521882194 18,310.
20129 Kaye,R.:詳報掲載
The Mathematics of Logic:
A Guide to Completeness Theorems and their Applications. (Paper ed.)
2007 220 pp.
(Cambridge) 9780521708777 7,400.
20130 Kechris,A./Miller,B.:
Topics in Orbit Equivalence.
(Lecture Notes in Mathematics, Vol. 1852)
2004 134 pp.
(Springer) 9783540226031 5,720.
／注文方法／ボタンの
20131 Kechris,A.S.:
Classical Descriptive Set Theory.
(Graduate Texts in Mathematics, Vol. 156)
1994 402 pp.
(Springer) 9780387943749 12,280.
20132 Kelly,J.:
The Essence of Logic.
1996 208 pp.
(Prentice Hall) 9780133963755 3,890.
20133 Kenschaft,P.:詳報掲載
Change is Possible:
Stories of Women and Minorities in Mathematics.
2005 212 pp.
(A.M.S.) 9780821837481 4,860.
20134 Kharazishvili,A.:詳報掲載
Nonmeasurable Sets and Functions.
(North-Holland Mathematics Studies, Vol. 195)
2004 337 pp.
(North Holland) 9780444516268 24,490.
20135 Kleene,S.:
Mathematical Logic.
2002 416 pp.
(Dover) 9780486425337 4,040.
／注文方法／ボタンの
20136 Klement,E.P.:
Triangular Norms.
(Trends in Logic, Vol. 8)
2000 406 pp.
(Kluwer) 9780792364160 16,350.
20137 Komjath,P./Totik,V.:詳報掲載
Problems and Theorems in Classical Set Theory.
(Problem Books in Mathematics)
2006 525 pp.
(Springer) 9780387302935 10,560.
20138 Kossak,R./Schmerl,J.:詳報掲載
The Structure of Models of Peano Arithmetic.
(Oxford Logic Guides, Vol. 50)
2006 296 pp.
(Oxford) 9780198568278 16,900.
20139 Kracht,M.:詳報掲載
Tools and Techniques in Modal Logic.
(Studies in Logic and the Foundations of Mathematics, Vol. 142)
1999 559 pp.
(North Holland) 9780444500557 20,800.
20140 Krantz,S.:
Handbook of Logic and Proof Techniques for Computer Science.
2002 245 pp.
(Birkhauser) 9783764342203 12,810.
／注文方法／ボタンの
20141 Krantz,S.:
The Elements of Advanced Mathematics, 2nd ed.
(Studies in Advanced Mathematics)
2002 214 pp.
(Chapman & Hall) 9781584883036 10,810.
20142 Kuhlmann,F.-V.et al.(eds.):詳報掲載
Valuation Theory and Its Applications, Vol. I.
(Fields Institute Communications, Vol. 32)
2002 449 pp.
(A.M.S.) 9780821828137 22,250.
20143 Kuhlmann,F.-V.et al.(eds.):詳報掲載
Valuation Theory and Its Applications, Vol. II.
(Fields Institute Communications, Vol. 33)
2003 459 pp.
(A.M.S.) 9780821832066 18,920.
20144 Laczkovich,M.:詳報掲載
Conjecture and Proof.
2002 118 pp.
(M.A.A.) 9780883857229 7,000.
20145 Lambek,J./Scott,P.J.:
Introduction to Higher Order Categorical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 7)
1986 293 pp.
(Cambridge) 9780521356534 7,950.
／注文方法／ボタンの
20146 Larson,P.:詳報掲載
The Stationary Tower: Notes on a Course by W. Hugh Woodin.
(University Lecture Series, Vol. 32)
2004 144 pp.
(A.M.S.) 9780821836040 5,290.
20147 Lau,D.:詳報掲載
Function Algebras on Finite Sets.
(Springer Monographs in Mathematics)
2006 670 pp.
(Springer) 9783540360223 20,240.
20148 Lauri,J./Scapellato,R.:詳報掲載
Topics in Graph Automorphisms and Reconstruction.
(Paper ed.)
(London Mathematical Society Student Texts, Vol. 54)
2003 172 pp.
(Cambridge) 9780521529037 5,090.
20149 Lavrov,I./Maksimova,L.:詳報掲載
Problems in Set Theory,
Mathematical Logic and the Theory of Algorithms.
(The University Series in Mathematics)
2003 302 pp.
(Plenum) 9780306477126 26,500.
20150 Lawvere,W./Rosebrugh,R.:詳報掲載
Sets for Mathematics. (Paper ed.)
2003 264 pp.
(Cambridge) 9780521010603 5,920.
／注文方法／ボタンの
20151 Leinster,T.:詳報掲載
Higher Operads, Higher Categories.
(London Mathematical Society Lecture Note Series, Vol. 298)
2004 380 pp.
(Cambridge) 9780521532150 14,160.
20152 Lescop,C.:
Global Surgery Formula for the Casson -Walker Invariant.
(Annals of Mathematics Studies, Vol. 140)
1996 150 pp.
(Princeton Univ.) 9780691021324 7,480.
20153 Lescop,C.:
Global Surgery Formula for
the Casson -Walker Invariant. (Paper ed.)
(Annals of Mathematics Studies, Vol. 140)
1996 150 pp.
(Princeton Univ.) 9780691021324 7,480.
20154 Levy,A.:
Basic Set Theory.
2002 416 pp.
(Dover) 9780486420790 4,370.
20155 Lindstrom,P.:詳報掲載
Aspects of Incompleteness.
(Lecture Notes in Logic, Vol. 10)
2002 170 pp.
(A K Peters) 9781568811734 5,770.
／注文方法／ボタンの
20156 Lloyd,J.:詳報掲載
Logic for Learning:
Knowledge Representation, Computation and Learning
in Higher -Order Logic.
2003 283 pp.
(Springer) 9783540420279 8,360.
20157 Lloyd,J.(ed.):
Logic Programming:
Proceedings of the 1995 Int'l Symposium, Portland.
1996 644 pp.
(M.I.T.) 9780262620994 17,550.
20158 Loeb,P./Wolff,P.(eds.):詳報掲載
Nonstandard Analysis for the Working Mathematician.
(Mathematics and its Applications, Vol. 510)
2000 311 pp.
(Kluwer) 9780792363408 25,010.
20159 Lopez,J./K.Ross.:
Sidon Sets.
(Lecture Notes in Pure and Applied Mathematics, Vol. 13)
1975 193 pp.
(Dekker) 9780824762896 16,280.
20160 Machover,M.:
Set Theory, Logic and Their Limitations. (Paper ed.)
1995 256 pp.
(Cambridge) 9780521479981 5,540.
／注文方法／ボタンの
20161 Maddux,R.:詳報掲載
Relation Algebras.
(Studies in Logic and the Foundations of Mathematics, Vol. 150)
2006 758 pp.
(North Holland) 9780444520135 35,050.
20162 Mader,A.:詳報掲載
Almost Completely Decomposable Groups.
(Algebra Logic and Applications, Vol. 13)
2000 354 pp.
(Gordon) 9789056992255 16,000.
20163 Manna,Z./Pnueli,A.:
The Temporal Logic of Reactive and Concurrent Systems.
1992 427 pp.
(Springer) 9783540976646 11,700.
20164 Marcja,A./Toffalori,C.:詳報掲載
A Guide to Classical and Modern Model Theory.
(Trends in Logic, Vol. 19)
2003 384 pp.
(Kluwer) 9781402013300 23,520.
20165 Marker,D.:詳報掲載
Model Theory: An Introduction.
(Graduate Texts in Mathematics, Vol. 217)
2002 339 pp.
(Springer) 9780387987606 10,610.
／注文方法／ボタンの
20166 Mayberry,J.:詳報掲載
The Foundations of Mathematics in the Theory of Sets.
(Encyclopedia of Mathematics and its Applications, Vol. 82)
2001 424 pp.
(Cambridge) 9780521770347 19,690.
20167 Mendelson,E.:
Introduction to Mathematical Logic, 4th ed.
1997 440 pp.
(Chapman & Hall) 9780412808302 17,280.
20168 Miller,D.(ed.):
Logic Programming.
1993 900 pp.
(M.I.T.) 9780262631525 17,550.
20169 Monin,J.-F.:
Understanding Formal Methods.
2002 290 pp.
(Springer) 9781852332471 12,580.
20170 Moschovakis,Y.:詳報掲載
Notes on Set Theory, 2nd ed.
(Undergraduate Texts in Mathematics)
2006 287 pp.
(Springer) 9780387287225 12,780.
／注文方法／ボタンの
20171 Moschovakis,Y.:詳報掲載
Notes on Set Theory, 2nd ed. (Paper ed.)
2006 287 pp.
(Springer) 9780387287232 9,710.
20172 Mostowski,A.:
Foundational Studies: Selected Works, 2 Vols. Set.
1979 1236 pp.
(North Holland) 9780444851024 46,750.
20173 Nagel,E./Newman,J.:詳報掲載
Godel's Proof.
2005 112 pp.
(Routledge) 9780415355285 3,080.
20174 Neeman,I.:詳報掲載
The Determinacy of Long Games.
(de Gruyter Series in Logic and Its Applications, Vol. 7)
2004 317 pp.
(de Gruyter) 9783110183412 26,500.
20175 Negri,S.:詳報掲載
Structural Proof Theory.
2001 256 pp.
(Cambridge) 9780521793070 13,270.
／注文方法／ボタンの
20176 Nguyen,H./Walker,E.:詳報掲載
A First Course in Fuzzy Logic, 3rd ed.
2005 440 pp.
(Chapman & Hall) 9781584885269 12,520.
20177 Niwinski,D./Zawadowski,M.(eds.):
Logic, Algebra, and Computer Science:
Helena Rasiowa in Memoriam.
(Banach Center Publication, Vol. 46)
1999 225 pp.
(P.W.N.) 9781000013627 11,790.
20178 Ong,L. :
Computer Science Logic:
19th Int'l Workshop, CSL/14th EACSL, Oxford 2005.
(Lecture Notes in Computer Science, Vol. 3634)
2005 567 pp.
(Springer) 9783540282310 13,060.
20179 Pedicchio,M./Tholen,W.(eds.):
Categorical Foundations:
Special Topics in Order, Topology Algebra, and Sheaf Theory.
(Encyclopedia of Mathematics and its Applications, Vol. 97)
2003 440 pp.
(Cambridge) 9780521834148 17,100.
20180 Perin,D./Pin,J.-E.:詳報掲載
Infinite Words: Automata, Semigroups, Logic and Games.
(Pure and Applied Mathematics, Vol. 141)
2003 450 pp.
(Academic) 9780125321112 17,820.
／注文方法／ボタンの
20181 Poizat,B.:詳報掲載
Stable Groups.
(Mathematical Surveys and Monographs, Vol. 87)
2001 132 pp.
(A.M.S.) 9780821826850 9,160.
20182 Poizat,B./Klein,M.:詳報掲載
A Course in Model Theory.
(Universitext)
2000 443 pp.
(Springer) 9780387986555 13,680.
20183 Post,E.:
The Two -Valued Iterative Systems of
Mathematical Logic. (Paper ed.)
(Annals of Mathematics Studies, Vol. 5)
1941 122 pp.
(Princeton Univ.) 9780691095707 4,190.
20184 Praeger,C./Soicher,L.:
Low Rank Representations and Graphs for Sporadic Groups.
(Australian Math. Society Lecture Series, Vol. 8)
1997 141 pp.
(Cambridge) 9780521567374 4,450.
20185 Priest,G./Beall,J./Armour-Carb,B.(eds.):詳報掲載
The Law of Non-Contradiction.
2006 400 pp.
(Oxford) 9780199204199 6,840.
／注文方法／ボタンの
20186 Pym,D./Ritter,E.:
Reductive Logic and Proof -Search:
Proof Theory, Semantics, and Control.
(Oxford Logic Guides, Vol. 45)
2004 213 pp.
(Oxford) 9780198526339 20,280.
20187 Rautenberg,W.:詳報掲載
A Concise Introduction to Mathematical Logic, 2nd ed.
(Universitext)
2006 255 pp.
(Springer) 9780387302942 10,610.
20188 Robert,A.:
Nonstandard Analysis. 1988 Reprint
2003 176 pp.
(Dover) 9780486432793 2,060.
20189 Robinson,A.:
Non -Standerd Analysis.
(Princeton Landmarks in Mathematics and Physics)
1996 308 pp.
(Princeton Univ.) 9780691044903 9,140.
20190 Rossi,R.:詳報掲載
Theorems, Corollaries, Lemmas, and Methods of Proof.
(Pure and Applied Mathematics)
2006 336 pp.
(Wiley) 9780470042953 15,740.
／注文方法／ボタンの
20191 Ruan,D./Kerre,E.(eds.):詳報掲載
Fuzzy If -Then Rules in Computational Intelligence:
Theory and Applications.
2000 344 pp.
(Kluwer) 9780792378204 20,160.
20192 Sacks,G.(ed.) :
Mathematical Logic in the 20th Century.
2003 600 pp.
(World Sci.) 9789810247362 17,820.
20193 Saitoh Saburo et al.(eds.):詳報掲載
Analytic Extension Formulas and Their Applications.
(Int'l Society for Analysis, Applications and Computation, Vol. 9)
2001 296 pp.
(Kluwer) 9780792369509 28,390.
20194 Schmidt,R.et al.(ed.) :
Advances in Modal Logic, Vol. 5.
2005 389 pp.
(King's College) 9781904987222 6,840.
20195 Shen,A./Vershchagin,N.:詳報掲載
Basic Set Theory.
(Student Mathematical Library, Vol. 17)
2002 116 pp.
(A.M.S.) 9780821827314 3,850.
／注文方法／ボタンの
20196 Shoenfield,J.:詳報掲載
Mathematical Logic.
2001 344 pp.
(A K Peters) 9781568811352 7,140.
20197 Silver,C.L.:
From Symbolic Logic . . . to Mathematical Logic.
1994 378 pp.
(Brown) 9780697141750 9,550.
20198 Simpson,S.(ed.) :詳報掲載
Reverse Mathematics, 2001.
(Lecture Notes in Logic, Vol. 21)
2005 400 pp.
(A K Peters) 9781568812632 12,170.
20199 Simpson,S.(ed.) :
Reverse Mathematics, 2001. (Paper ed.)
2005 400 pp.
(A K Peters) 9781568812649 6,720.
20200 Smith,P.:詳報掲載
An Introduction to Godel's Theorems.
2007 348 pp.
(Cambridge) 9780521857840 15,720.
／注文方法／ボタンの
20201 Smullyan,R.M.:
First -Order Logic.
1995 176 pp.
(Dover) 9780486683706 1,820.
20202 Sorensen,M./Urzyczyn,P.:詳報掲載
Lectures on the Curry-Howard Isomorphism.
(Studies in Logic and the Foundations of Mathematics, Vol. 149)
2006 442 pp.
(North Holland) 9780444520777 22,020.
20203 Srivastava,S.M.:
A Course on Borel Sets.
(Graduate Texts in Mathematics, Vol. 180)
1998 261 pp.
(Springer) 9780387984124 11,980.
20204 Stoltenberg-Hansen,V./Vaananen,J.(eds.):詳報掲載
Logic Colloquium '03.
(Lecture Notes in Logic, Vol. 24)
2006 417 pp.
(A K Peters) 9781568812939 13,350.
20205 Stoltenberg-Hansen,V./Vaananen,J.(eds.):詳報掲載
Logic Colloquium '03. (Paper ed.)
(Lecture Notes in Logic, Vol. 24)
2006 412 pp.
(A K Peters) 9781568812946 6,190.
／注文方法／ボタンの
20206 Taschner,R.(ed.) :詳報掲載
The Continuum:
A Constructive Approach to Basic Concepts of Real Analysis.
(Vieweg Monographs)
2005 136 pp.
(Vieweg) 9783834800404 7,990.
20207 Tourlakis,G.:詳報掲載
Lectures in Logic and Set Theory, Vol. 1:
Mathematical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 82)
2003 352 pp.
(Cambridge) 9780521753739 12,810.
20208 Tourlakis,G.:詳報掲載
Lectures in Logic and Set Theory, Vol. 2: Set Theory.
(Cambridge Studies in Advanced Mathematics, Vol. 83)
2003 592 pp.
(Cambridge) 9780521753746 17,380.
20209 Trotter,W.:詳報掲載
Combinatorics and Partially Ordered Sets. (Paper ed.)
(Johns Hopkins Series in Mathematical Sciences)
2002 328 pp.
(Johns Hopkins ) 9780801869778 5,540.
20210 Tuganbaev,A.:
Distributive Modules and Related Topics.
(Algebra Logic and Applications, Vol. 12)
1999 258 pp.
(Gordon) 9789056991920 17,000.
／注文方法／ボタンの
20211 Urzyczyn,P.(ed.) :
Typed Lambda Calculi and Applicatons. Tlca 2005.
(Lecture Notes in Computer Science, Vol. 3461)
2005 433 pp.
(Springer) 9783540255932 10,690.
20212 Vaananen,J.:詳報掲載
Dependence Logic: A New Approach to Independence
Friendly Logic.
(London Mathematical Society Student Texts, Vol. 70)
2007 240 pp.
(Cambridge) 9780521876599 22,120.
20213 Van Dalen,D.:詳報掲載
Logic and Structure, 4th ed.
(Universitext)
2004 263 pp.
(Springer) 9783540208792 8,810.
20214 Vath,M.:詳報掲載
Nonstandard Analysis.
2006 260 pp.
(Birkhauser) 9783764377731 8,630.
20215 Velleman,D.:詳報掲載
How to Prove It: A Structured Approach, 2nd ed. (Paper ed.)
2006 336 pp.
(Cambridge) 9780521675994 5,460.
／注文方法／ボタンの
20216 Vermeulen,L./Copestake,A.(eds.):
Algebras, Diagrams and Decisions in Language,
Logic and Computation. (Paper ed.)
(CSLI Lecture Notes)
2002 184 pp.
(C.S.L.I.) 9781575863726 4,670.
20217 Wagon,S.:
The Banach -Tarski Paradox. (Paper ed.)
1993 253 pp.
(Cambridge) 9780521457040 6,230.
20218 Weeks,J.:詳報掲載
The Shape of Space, 2nd ed.
(Pure and Applied Mathematics, Vol. 249)
2002 382 pp.
(Taylor & Francis) 9780824707095 6,120.
20219 Weinberger,S.:
Computers, Rigidity, and Moduli:
The Large Scale Fractal Geometry of Riemannian Moduli Space.
2005 160 pp.
(Princeton Univ.) 9780691118895 7,110.
20220 Zegarelli,M.:詳報掲載
Logic for Dummies.
2006 384 pp.
(Wiley) 9780471799412 3,560.
／注文方法／ボタンの
20221 Zhang,Yi.:詳報掲載
Logic and Algebra.
(Contemporary Mathematics, Vol. 302)
2002 285 pp.
(A.M.S.) 9780821829844 10,970.
20222 van den Berg,I./Neves,V.(eds.):詳報掲載
The Strength of Nonstandard Analysis.
2007 400 pp.
(Springer/Wien) 9783211499047 23,260.
20223 von Eckardt,B.:
What Is Cognitive Science? (Paper ed.)
1995 478 pp.
(M.I.T.) 9780262720236 5,260.