YURINSHA STOCK LIST 2009／数理科学関係洋書在庫目録
2.数理論理学・数学基礎論
20001 Abhyankar,S.:
Local Analytic Geometry.
2001 480 pp.
(World Sci.) 9789810245054 15,850.
20002 Aczel,P./Simmons,H./Wainer,S.(eds.):
Proof Theory.
1992 306 pp.
(Cambridge) 9780521414135 17,800.
20003 Aiello,M.et al.(eds.):
Handbook of Spatial Logics.
2007 1058 pp.
(Springer) 9781402055867 71,760.
20004 Aliseda-Llera,A.et al.(eds.) :
Computing Natural Language.
1998 158 pp.
(C.S.L.I.) 9781575861005 5,040.
20005 Andrews,P.:
An Introduction to Mathematical Logic
and Type Theory, 2nd ed.
(Appied Logic Series, Vol. 27)
2002 408 pp.
(Kluwer) 9781402007637 16,190.
／注文方法／ボタンの
20006 Anglin,W./Lambek,J.:
The Heritage of Thales.
(Undergraduate Texts in Mathematics)
1995 327 pp.
(Springer) 9783540945444 9,590.
20007 Anglin,W.S.:
Mathematics: A Concise History and Philosophy.
(Undergraduate Texts in Mathematics)
1994 275 pp.
(Springer) 9783540942801 9,790.
20008 Apt,K./Wallace,C.:
Constraint Logic Programming Using Eclipse.
2007 329 pp.
(Cambridge) 9780521866286 10,200.
20009 Arnold,D.:
Abelian Groups and Representations
of Finite Partially Ordered Sets.
(CMS Books in MathematicsVol. 2)
2000 244 pp.
(Springer) 9780387989822 13,290.
20010 Asher,N.:
Reference to Abstract Objects in Discourse.
(Studies in Linguistics and Philosophy, Vol. 50)
1993 455 pp.
(Kluwer) 9780792322429 23,430.
／注文方法／ボタンの
20011 Awodey,S.:
Category Theory.
(Oxford Logic Guides, Vol. 49)
2006 256 pp.
(Oxford) 9780198568612 24,890.
20012 Azzouni,J.:
Tracking Reason.
2005 248 pp.
(Oxford/USA) 9780195187137 8,910.
20013 Baaz,M./Friedman,S.-D./Krajicek,J.(eds.):
Logic Colloquium '01:
Proceedings of The Annual European Summer Meeting of
The Association for Symbolic Logic,
Held In Vienna, Austria, 2001 . (Paper ed.)
(Lecture Notes in Logic, Vol. 20)
2005 486 pp.
(A K Peters) 9781568812489 7,120.
20014 Badesa,C.:
The Birth of Model Theory.
2004 240 pp.
(Princeton Univ.) 9780691058535 8,690.
20015 Bagaria,J./Todorcevic,S.(eds.):
Set Theory:
Centre de Recerca Matematica Barcelona, 2003-2004.
(Trends in Mathematics)
2006 406 pp.
(Birkhauser) 9783764376918 21,850.
／注文方法／ボタンの
20016 Barendregt,H.P.:
The Lambda Calculus.
(Studies in Logic and the Foundations of Mathematics, Vol. 103)
1984 654 pp.
(North Holland) 9780444875082 20,080.
20017 Bartoszynski,T./Judah,H.:
Set Theory: On the Structure of the Real Line.
1995 546 pp.
(A K Peters) 9781568810447 14,420.
20018 Beame,P./Buss,S.(eds.):
Proof Complexity and Feasible Arithmetics.
(DIMACS: Discrete Mathematics and Theoretical Computer Science, Vol. 39)
1997 320 pp.
(A.M.S.) 9780821805770 11,470.
20019 Bell,J.:
A Primer of Infinitesimal Analysis, 2nd ed.
2008 140 pp.
(Cambridge) 9780521887182 8,520.
20020 Bell,J.:
Set Theory, 3rd ed.
(Oxford Logic Guides, Vol. 47)
2005 191 pp.
(Oxford) 9780198568520 28,600.
／注文方法／ボタンの
20021 Bell,J./Slomson,A.:
Models and Ultraproducts: An Introduction. 1974 Reprint
2006 322 pp.
(Dover) 9780486449791 3,320.
20022 Bennett,D.:
Logic Made Easy: How to Know When Language Deceives You.
2005 256 pp.
(Norton) 9780393326925 2,530.
20023 Bergsra,D./Ponse,A./Smolka,S.(eds.):
Handbook of Processes Algebra.
2001 1356 pp.
(North Holland) 9780444828309 42,500.
20024 Bernays,P.:
Axiomatic Set Theory.
1991 227 pp.
(Dover) 9780486666372 2,100.
20025 Beziau,J.(ed.):
Logica Universalis, 2nd ed.
2007 246 pp.
(Birkhauser) 9783764383534 12,120.
／注文方法／ボタンの
20026 Bhaskara Rao,K.:
Theory of Generalized Inverse Over Commutative Rings.
(Algebra Logic and Applications, Vol. 17)
2002 167 pp.
(Taylor & Francis) 9780415272483 11,640.
20027 Blackburn,P./Johan van Benthem, J./Wolter,F.(eds.):
Handbook of Modal Logic.
(Studies in Logic and Practical Reasoning, Vol. 3)
2006 1260 pp.
(North Holland) 9780444516909 36,220.
20028 Bochman,A.:
Explanatory Nonmonotonic Reasoning.
2005 408 pp.
(World Sci.) 9789812561015 12,180.
20029 Boolos,G.:
The Logic of Provability. (Paper ed.)
1995 275 pp.
(Cambridge) 9780521483254 6,750.
20030 Boolos,G./Burgess,J./Jeffrey,R.:
Computability and Logic, 4th ed. (Paper ed. )
2002 356 pp.
(Cambridge) 9780521007580 4,710.
／注文方法／ボタンの
20031 Bornat,S.:
Proof and Disproof in Formal Logic.
(Oxford Texts in Logic, Vol. 2)
2005 264 pp.
(Oxford) 9780198530268 29,800.
20032 Boroczky,K./Kollar,J./Szamuely,T.(eds.):
Higher Dimensional Varieties and Rational Points.
(Bolyai Society Mathematical Studies, Vol. 12)
2003 300 pp.
(Springer) 9783540008200 20,600.
20033 Brenner,J.:
Logic in Reality.
2008 380 pp.
(Springer) 9781402083747 33,140.
20034 Bressoud,D.:
Proofs and Confirmations. (Paper ed.)
1999 288 pp.
(Cambridge) 9780521666466 6,190.
20035 Buechler,S.:
Essential Stability Theory.
(Perspectives in Mathematical Logic)
1996 355 pp.
(Springer) 9783540610113 15,430.
／注文方法／ボタンの
20036 Burger,E.:
Extending The Frontiers of Mathematics:
Inquiries Into Proof and Argumentation.
2007 171 pp.
(Springer) 9781597570428 9,950.
20037 Calude,C.:
Information and Randomness, 2nd ed.
(Texts in Theoretical Computer Sciences. An EATCS Series)
2002 238 pp.
(Springer) 9783540434665 16,560.
20038 Cantini,A.:
Logical Frameworks for Truth and Abstraction.
(Studies in Logic and the Foundations of Mathematics, Vol. 135)
1996 461 pp.
(North Holland) 9780444823069 23,250.
20039 Carbone,A./Semmes,S.:
A Graphic Apology for Symmetry and Implicitness.
(Oxford Mathematical Monographs)
2000 501 pp.
(Oxford) 9780198507291 34,770.
20040 Carnielli,W./Coniglio,M./Gabbay,D.et al.:詳報掲載
Analysis and Synthesis of Logics:
How to Cut and Paste Reasoning Systems.
2008 600 pp.
(Springer) 9781402067815 38,240.
／注文方法／ボタンの
20041 Carnielli,W./Coniglio,M./D丹ttaviano,I.(eds.):
Paraconsistency: the Logical Way to Inconsistency.
(Lecture Notes in Pure and Applied Mathematics, Vol. 228)
2002 552 pp.
(Chapman & Hall) 9780824708054 39,000.
20042 Carpenter,R.:
The Logic of Typed Feature Structures. (Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 32)
2005 270 pp.
(Cambridge) 9780521022545 7,650.
20043 Caspard,N./Monjardet,B./Leclerc,B.:
Ensembles ordonnes finis: concepts, resultats et usages.
(Mathematiques et Applications, Vol. 60)
2007 340 pp.
(Springer) 9783540737551 13,250.
20044 Casti,J./Depauli,W.:
Godel: A Life of Logic.
2000 210 pp.
(Perseus) 9780738202747 4,570.
20045 Chagrov,A./Zakharayaschev,M.:
Mathematical Logic.
(Oxford Logic Guides, Vol. 35)
1997 624 pp.
(Oxford) 9780198537793 31,500.
／注文方法／ボタンの
20046 Chajda,I./Halas,R./Kuhr,J.:
Semilattice Structures.
(Research and Exposition in Mathematics, Vol. 30)
2007 228 pp.
(Heldermann) 9783885382300 6,970.
20047 Chiara,M./Giuntini,R./Laudisa,F.(eds.):
Language, Quantum, Music:
Selected Contributed Papers of the Tenth
Int'l Congress of Logic,
Methodology and Philosophy of Science, Florence, 1995.
(Synthese Library, Vol. 281)
1999 338 pp.
(Kluwer) 9780792357278 19,380.
20048 Chiswell,I./Hodges.W:
Mathematical Logic.
(Oxford Texts in Logic, Vol. 3)
2007 304 pp.
(Oxford) 9780198571001 24,300.
20049 Chiswell,I./Hodges,W.:
Mathematical Logic. (Paper ed.)
2007 296 pp.
(Oxford) 9780199215621 9,590.
20050 Church,A.:
Introduction to Mathematical Logic.
(Princeton Landmarks in Mathematics and Physics)
1996 378 pp.
(Princeton Univ.) 9780691029061 10,170.
／注文方法／ボタンの
20051 Ciesielski,K.:
Set Theory for the Working Mathematician. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 39)
1997 236 pp.
(Cambridge) 9780521594653 6,290.
20052 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 174 pp.
(Cambridge) 9780521839204 12,410.
20053 Clark,D./Davey,B.:
Natural Dualities for the Working Algebraist.
(Cambridge Studies in Advanced Mathematics, Vol. 57)
1998 356 pp.
(Cambridge) 9780521454155 15,850.
20054 Cori,R./Lascar,D.:
Mathematical Logic:
A Course with Exercises, Part 2. (Paper ed.)
2001 342 pp.
(Oxford) 9780198500506 12,440.
20055 Cori,R./Razborov,A./Torcevic,S./Wood,C.(eds.):
Logic Colloquium 2000. (Paper ed.)
(Lecture Notes in Logic, Vol. 19)
2005 400 pp.
(A K Peters) 9781568812526 6,760.
／注文方法／ボタンの
20056 Cox,D./Little,J./O担hea,D.:
Ideals, Varieties, and Algorithms, 2nd ed.
(Undergraduate Texts in Mathematics)
1996 536 pp.
(Springer) 9783540946809 9,740.
20057 Cox,D./Little,J../O担hea,D.:
Ideals, Varieties, and Algorithms:
An Introduction to Computational Algebraic Geometry
and Commutative Algebra, 3rd ed.
(Undergraduate Texts in Mathematics)
2007 575 pp.
(Springer) 9780387356501 10,310.
20058 Crocco,G./del Cerro,L.:
Conditionals: From Philosophy to Computer Science.
(Studies in Logic and Computation, Vol. 5)
1995 400 pp.
(Oxford) 9780198538615 13,320.
20059 Cummins,R./ Pollock,J.(eds.) :
Philosophy and Ai: Essays at the Interface.
1995 320 pp.
(M.I.T.) 9780262531351 3,510.
20060 Cutland,N.:
Loeb Measures in Practice: Recent Advances:
EMS Lectures 1997.
(Lecture Notes in Mathematics, Vol. 1751)
2000 122 pp.
(Springer) 9783540413844 5,570.
／注文方法／ボタンの
20061 Cutland,N./Di Nasso,M./Ross,D.(eds.):
Nonstandard Methods
and Applications in Mathematics. (Paper ed.)
2006 262 pp.
(A K Peters) 9781568812922 6,230.
20062 Cvetkovic,D./Simic,S:
Spectral Generalizations of Line Graphs.
(London Mathematical Society Lecture Note Series, Vol. 314)
2004 310 pp.
(Cambridge) 9780521836630 9,410.
20063 Daepp,U./Gorkin,P.:
Reading, Writing, and Proving: A Closer Look at Mathematics.
(Undergraduate Texts in Mathematics)
2003 395 pp.
(Springer) 9780387008349 12,740.
20064 Davey,B./Priestley,H.:
Introduction to Lattices and Order, 2nd (Paper ed.)
2002 298 pp.
(Cambridge) 9780521784511 6,840.
20065 Davis,M.:
Computability and Unsolvability.
1982 248 pp.
(Dover) 9780486614717 2,660.
／注文方法／ボタンの
20066 Davis,M.(ed.):
The Undecidable. 1965 Reprint.
2004 413 pp.
(Dover) 9780486432281 4,140.
20067 De Bruyn,B.:
Near Polygons.
(Frontiers in Mathematics)
2006 263 pp.
(Birkhauser) 9783764375522 8,700.
20068 Debs,G./Raymond,J.:
Borel Liftings of Borel Sets.
(Memoirs of the American Mathematical Society, No. 876)
2007 118 pp.
(A.M.S.) 9780821839713 10,480.
20069 Dehornoy,P./Dynnikov,I./Rolfsen,D./Wiest,B.:
Why Are Braids Orderable?
(Panoramas et syntheses, Vol. 14)
2003 190 pp.
(S.M.F.) 9782856291351 7,580.
20070 Demolombe,R.et al.(eds.):
Nonstandard Queries and Nonstandard Answers.
(Studies in Logic and Computation, Vol. 3)
1994 279 pp.
(Oxford) 9780198538523 16,570.
／注文方法／ボタンの
20071 Deshouillers,J./Landreau,B./Yudin,A.:
Structure Theory of Set Addition.
(Asterisque, Vol. 258)
1999 436 pp.
(S.M.F.) 9781000013191 15,000.
20072 Davidi,D./Kenyon,T.(eds.):
A Logical Approach to Philosophy:
Essays in Memory of Graham Solomon.
2005 410 pp.
(Kluwer) 9781402035333 26,150.
20073 Devlin,K.:
Logic and Information.
1995 307 pp.
(Cambridge) 9780521499712 5,430.
20074 Diaconescu,R.:詳報掲載
Institution-Independent Model Theory.
(Studies in Universal Logic)
2008 360 pp.
(Birkhauser) 9783764387075 17,820.
20075 Dossey,J.(ed.):
Confronting the Core Curriculum.
(MAA Notes, Vol. 45)
1998 136 pp.
(M.A.A.) 9780883851555 8,420.
／注文方法／ボタンの
20076 Drucker,T.(ed.):詳報掲載
Perspectives on The History of
Mathematical Logic. 1991 Reprint
(Modern Birkhauser Classics)
2008 195 pp.
(Birkhauser) 9780817647681 8,380.
20077 Dunn,J./Hardegree,G.:
Algebraic Methods in Philosophical Logic.
(Oxford Logic Guides, Vol. 41)
2001 470 pp.
(Oxford) 9780198531920 27,360.
20078 Ebbinghaus,H.:
Mathematical Logic, 2nd ed.
(Undergraduate Texts in Mathematics)
1994 290 pp.
(Springer) 9783540942580 14,010.
20079 Ruet,P./Girard,J.-Y./Scott,P.(eds.):
Linear Logic in Computer Science.
(London Mathematical Society Lecture Note Series, Vol. 316)
2004 392 pp.
(Cambridge) 9780521608572 14,020.
20080 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.
／注文方法／ボタンの
20081 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 341 pp.
(A K Peters) 9781568812953 11,830.
20082 Enderton,H.:
A Mathematical Introduction to Logic, 2nd ed.
2000 368 pp.
(Academic) 9780122384523 16,520.
20083 Ershov,Yu.L./Goncharov,S./Nerode,A./Remmel,J.(eds.):
Handbook of Recursive Mathematics, Vol. 1 and 2.
2 Vols. Set.
(Studies in Logic and the Foundations of Mathematics)
1998 1372 pp.
(North Holland) 9780444501073 37,910.
20084 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. I:
Publications 1929-1936. (Paperback ed.)
2001 474 pp.
(Oxford/USA) 9780195147209 8,010.
20085 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. II:
Publications 1938-1974. (Paperback ed.)
2001 407 pp.
(Oxford/USA) 9780195147216 8,010.
／注文方法／ボタンの
20086 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. III:
Unpublished Essays and Lectures. (Paper ed.)
2001 532 pp.
(Oxford/USA) 9780195147223 8,010.
20087 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. IV: Correspondence A-G.
2003 662 pp.
(Oxford) 9780198500735 30,780.
20088 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. V: Correspondence H-Z.
2003 664 pp.
(Oxford) 9780198500759 34,020.
20089 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.
20090 Foreman,M./Kechris,S./Louveau,A./Weiss,V.:
Descriptive Set Theory and Dynamical Systems.
(London Mathematical Society Lecture Note Series, Vol. 277)
2000 291 pp.
(Cambridge) 9780521786447 9,900.
／注文方法／ボタンの
20091 Forster,T.:
Logic, Induction and Sets.
(London Mathematical Society Student Texts, Vol. 56)
2003 234 pp.
(Cambridge) 9780521826211 12,990.
20092 Forster,T.E.:
Set Theory with A Universal Set, 2nd ed.
(Oxford Logic Guides, Vol. 31)
1995 166 pp.
(Oxford) 9780198514770 8,770.
20093 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.
20094 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,590.
20095 Furukawa,K./Michie,D./Muggleton,S.(eds.):
Machine Intelligence and Inductive Learning.
(Machine Intelligence, Vol. 13)
1994 478 pp.
(Oxford) 9780198538509 19,500.
／注文方法／ボタンの
20096 Gabbay,D.:
Labelled Deductive Systems, Vol. 1.
(Oxford Logic Guides, Vol. 33)
1996 497 pp.
(Oxford) 9780198538332 18,780.
20097 Gabbay,D.M.:
Fibring Logics.
(Oxford Logic Guides, Vol. 38)
1998 475 pp.
(Oxford) 9780198503811 21,670.
20098 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence
and Logic Programming, Vol. 1: Logic Foundations.
1993 518 pp.
(Oxford) 9780198537458 36,540.
20099 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence
and Logic Programming, Vol. 2:
Deduction Methodologies.
1994 496 pp.
(Oxford) 9780198537465 41,850.
20100 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence
and Logic Programming, Vol. 4:
Epistemic and Temporal Reasoning.
1995 611 pp.
(Oxford) 9780198537915 23,850.
／注文方法／ボタンの
20101 Gabbay,D./Maksimova,L.:
Interpolation and Definability in Modal Logics:
Modal and Intuitionistic Logic.
(Oxford Logic Guides, Vol. 46)
2005 508 pp.
(Oxford) 9780198511748 33,150.
20102 Gabbay,D./Kurucz,A./Wolter,F./zakharyaschev,M.:
Many-Dimensional Modal Logics: Theory and Applications.
(Studies in Logic and the Foundations of Mathematics, Vol. 148)
2003 747 pp.
(North Holland) 9780444508263 30,150.
20103 Gabbay,D./Guenthner,F.(eds.):
Handbook of Philosophical Logic, Vol. 6, 2nd ed.
2002 420 pp.
(Springer) 9781402005831 27,240.
20104 Gabbay,D./Woods,J.(eds.):
British Logic in The Nineteenth Century.
(Handbook of the History of Logic, Vol. 4)
2008 750 pp.
(North Holland) 9780444516107 37,260.
20105 Gabbay,D./Woods,J.(eds.) :
Mediaval and Renaissance Logic.
(Handbook of the History of Logic, Vol. 2)
2008 716 pp.
(North Holland) 9780444516251 35,190.
／注文方法／ボタンの
20106 Galatos,N./Jipsen,P./Kowalski,T./Ono Hiroakira :
Residuated Lattices:
An Algebraic Glimpse at Substructural Logics.
(Studies in Logic and the Foundations of Mathematics, Vol. 151)
2007 509 pp.
(North Holland) 9780444521415 21,520.
20107 Galavotti,C.(ed.):
Cambridge and Vienna: Frank P. Ramsey and The Vienna Circle.
2006 257 pp.
(Springer) 9781402041006 29,430.
20108 Gao,S./Jackson,S./Zhang,Y.(eds.):
Advances in Logic.
(Contemporary Mathematics, Vol. 425)
2007 150 pp.
(A.M.S.) 9780821838198 8,930.
20109 Gelfand,S./Gerver,M./Kirillov,A.(eds.):
Sequences, Combinations, Limits.
2002 160 pp.
(Dover) 9780486425665 1,770.
20110 Gierz,G./Hofmann,K./Keimel,K./Lawson,J./Mislove,M./Scott,D.:
Continuous Lattices and Domains.
(Encyclopedia of Mathematics and its Applications, Vol. 93)
2003 591 pp.
(Cambridge) 9780521803380 26,860.
／注文方法／ボタンの
20111 Gillies,D.:
Artificial Intelligence and Scientific Method. (Paper ed.)
1996 194 pp.
(Oxford) 9780198751595 7,810.
20112 Gilmore,P.(ed.) :
Logicism Renewed. (Paper ed.)
2005 230 pp.
(A K Peters) 9781568812762 6,590.
20113 Godel,K.:
The Consistency of the Continuum Hypothesis. (Paper ed.)
(Annals of Mathematics Studies, Vol. 3)
1968 72 pp.
(Princeton Univ.) 9780691079271 4,720.
20114 Golan,J.:
Power Algebras over Semirings:
With Applications in Mathematics and Computer Science.
(Mathematics and its Applications, Vol. 488)
1999 216 pp.
(Springer) 9780792358343 30,330.
20115 Goldblatt,R.:
Logics of Time and Computation, 2nd ed. (Paper ed.)
(CSLI Lecture Notes, Vol. 7)
1992 180 pp.
(C.S.L.I.) 9780937073940 4,860.
／注文方法／ボタンの
20116 Grattan-Guinness,I.:
The Search for Mathematical Roots, 1870-1940. (Paper ed.)
2000 624 pp.
(Princeton Univ.) 9780691058580 10,930.
20117 Grinblat,L.:
Algebras of Sets and Combinatorics.
(Translations of Mathematical Monographs, Vol. 214)
2002 256 pp.
(A.M.S.) 9780821827659 16,850.
20118 Gyori,E./Katona,O./Lovasz,L.(eds.):詳報掲載
Horizons of Combinatorics.
(Bolyai Society Mathematical Studies, Vol. 17)
2008 290 pp.
(Springer) 9783540771999 19,590.
20119 Hacking,I.:
An Introduction to Probability and Inductive
Logic. (Paper ed.)
2001 320 pp.
(Cambridge) 9780521775014 5,290.
20120 Hajnal,A./Hamburger,P.:
Set Theory. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 48)
1999 316 pp.
(Cambridge) 9780521596671 7,110.
／注文方法／ボタンの
20121 Hall,R.R.:
Sets of Multiples.
(Cambridge Tracts in Mathematics, Vol. 118)
1996 264 pp.
(Cambridge) 9780521404242 12,190.
20122 Hanson,S./Drastal,G./Rivest,R.(eds.):
Computational Learning Theory
and Natural Learning Systems, Vol. I:
Constraints and Prospects.
1994 584 pp.
(M.I.T.) 9780262581264 11,690.
20123 Hart,B./Valeriote,M.(eds.):
Lectures on Algebraic Model Theory.
(Fields Institute Monographs, Vol. 15)
2001 111 pp.
(A.M.S.) 9780821827055 5,370.
20124 Haskell,D./Pillay,A./Steinhorn,C.:
Model Theory, Algebra, and Geometry.
(Mathematical Science Research Institute Publications, Vol. 39)
2000 227 pp.
(Cambridge) 9780521780681 9,420.
20125 Hedman,S.:
A First Course in Logic. (Paper ed.)
2004 400 pp.
(Oxford) 9780198529811 9,060.
／注文方法／ボタンの
20126 Henkin,L.et al.:
Cylindrick Algebrs, Part I.
1971 508 pp.
(North Holland) 9780720420432 30,270.
20127 Herrlich,H.:
Axiom of Choice.
(Lecture Notes in Mathematics, Vol. 1876)
2006 198 pp.
(Springer) 9783540309895 9,670.
20128 Hindley,J./Seldin,J.:詳報掲載
Lambda-Calculus and Combinators, 2nd ed.
2008 344 pp.
(Cambridge) 9780521898850 9,940.
20129 Hinman,P.:
Fundamentals of Mathematical Logic.
2005 878 pp.
(A K Peters) 9781568812625 14,640.
20130 Hirsch,R./Hodkinson,I.:
Relation Algebras by Games.
(Studies in Logic and the Foundations of Mathematics, Vol. 147)
2002 691 pp.
(North Holland) 9780444509321 23,550.
／注文方法／ボタンの
20131 Hjorth,G.:
Classification and Orbit Equivalence Relations.
(Mathematical Surveys and Monographs, Vol. 75)
2000 195 pp.
(A.M.S.) 9780821820025 9,420.
20132 Hodges,W.A.:
Model Theory.
(Encyclopedia of Mathematics and its Applications, Vol. 42)
1993 772 pp.
(Cambridge) 9780521304429 36,650.
20133 Hohle,U./Rodabaugh,R.:
Mathematics of Fuzzy Sets:
Logic, Topology, and Measure Theory.
1999 716 pp.
(Kluwer) 9780792383888 51,850.
20134 Hooker,J.:
Logic-Based Methods for Optimization.
(Wiley Series in Discrete Mathematics and Optimization)
2000 495 pp.
(Wiley) 9780471385219 19,550.
20135 Huth,M./Ryan,M.:
Logic in Computer Science, 2nd ed. (Paper)
2004 427 pp.
(Cambridge) 9780521543101 10,980.
／注文方法／ボタンの
20136 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.
20137 Jech,T.:
Set Theory: The 3rd Millennium Edition,
Revised and Expanded ed.
(Springer Monographs in Mathematics)
2002 769 pp.
(Springer) 9783540440857 26,060.
20138 Johnson,D.:
Elements of Logic Via Numbers and Sets.
(Springer Undergraduate Mathematics)
1998 200 pp.
(Springer) 9783540761235 8,400.
20139 Johnstone,P.:
Sketches of An Elephant:
A Topos Theory Compendium, 2 Vols. Set.
(Oxford Logic Guides)
2002 1160 pp.
(Oxford) 9780198524960 78,800.
20140 Just,W./Weese,M.:
Discovering Modern Set Theory, I: The Basics.
(Graduate Studies in Mathematics, Vol. 8)
1995 210 pp.
(A.M.S.) 9780821802663 6,370.
／注文方法／ボタンの
20141 Kanamori Akihiro( Eds:
Handbook Set Theory. 4 Vols. Set.
2008 2150 pp.
(Springer) 9781402048432 120,500.
20142 Kechris,A./Miller,B.:
Topics in Orbit Equivalence.
(Lecture Notes in Mathematics, Vol. 1852)
2004 134 pp.
(Springer) 9783540226031 7,640.
20143 Kenschaft,P.:
Change Is Possible.
2005 212 pp.
(A.M.S.) 9780821837481 4,860.
20144 Kharazishvili,A.:
Nonmeasurable Sets and Functions.
(North-Holland Mathematics Studies, Vol. 195)
2004 337 pp.
(North Holland) 9780444516268 24,490.
20145 Kinard,J./Kozulin,A.:
Rigorous Mathematical Thinking. (Paper ed.)
2008 209 pp.
(Cambridge) 9780521700269 3,970.
／注文方法／ボタンの
20146 Kleene,S.:
Mathematical Logic.
2002 398 pp.
(Dover) 9780486425337 3,940.
20147 Knuth,D.:
Selected Papers on Computer Science. (Paper ed.)
(CSLI Lecture Notes, Vol. 59)
1995 169 pp.
(Chicago) 9781881526919 4,860.
20148 Kohlenbach,U.:詳報掲載
Applied Proof Theory:
Proof Interpretations and their Use in Mathematics.
(Springer Monographs in Mathematics)
2008 550 pp.
(Springer) 9783540775324 17,840.
20149 Kossak,R./Schmerl,J.:
The Structure of Models of Peano Arithmetic.
(Oxford Logic Guides, Vol. 50)
2006 296 pp.
(Oxford) 9780198568278 19,170.
20150 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.
／注文方法／ボタンの
20151 Krantz,S.:
A Primer of Mathematical Writing.
1996 223 pp.
(A.M.S.) 9780821806357 3,400.
20152 Kronecker,L.:
Leopold Kronecker's Werke, 6 Vols in 5. (Reprint)
(AMS Chelsea Publishing, Vol. 224)
1968 2530 pp.
(A.M.S./Chelsea) 9780828402248 31,270.
20153 Kuhlmann,F.-V./Kuhlmann,S./Marshall,M.(eds.):
Valuation Theory and Its Applications, Vol. I.
(Fields Institute Communications, Vol. 32)
2002 449 pp.
(A.M.S.) 9780821828137 22,250.
20154 Kuhlmann,F.-V./Kuhlmann,S./Marshall,M.(eds.):
Valuation Theory and Its Applications, Vol. II.
(Fields Institute Communications, Vol. 33)
2003 459 pp.
(A.M.S.) 9780821832066 18,920.
20155 Kunen,K.:
Set Theory: An Introduction to Independence Proofs.
(Studies in Logic and the Foundations of Mathematics, Vol. 102)
1980 313 pp.
(North Holland) 9780444868398 15,700.
／注文方法／ボタンの
20156 Lambek,J./Scott,P.J.:
Introduction to Higher Order Categorical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 7)
1986 293 pp.
(Cambridge) 9780521356534 6,540.
20157 Larson,P.:
The Stationary Tower: Notes on A Course by W. Hugh Woodin.
(University Lecture Series, Vol. 32)
2004 132 pp.
(A.M.S.) 9780821836040 5,050.
20158 Lau,D.:
Function Algebras on Finite Sets.
(Springer Monographs in Mathematics)
2006 668 pp.
(Springer) 9783540360223 20,240.
20159 Lauri,J./Scapellato,R.:
Topics in Graph Automorphisms and Reconstruction.
(London Mathematical Society Student Texts, Vol. 54)
2003 172 pp.
(Cambridge) 9780521821513 12,410.
20160 Lauri,J./Scapellato,R.:
Topics in Graph Automorphisms and Reconstruction.
(Paper ed.)
(London Mathematical Society Student Texts, Vol. 54)
2003 172 pp.
(Cambridge) 9780521529037 4,390.
／注文方法／ボタンの
20161 Leinster,T.(ed.) :
Higher Operads, Higher Categories.
(London Mathematical Society Lecture Note Series, Vol. 298)
2004 433 pp.
(Cambridge) 9780521532150 12,490.
20162 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.
20163 Lindstrom,P.:
Aspects of Incompleteness, 2nd ed.
(Lecture Notes in Logic, Vol. 10)
2003 163 pp.
(A K Peters) 9781568811734 5,770.
20164 Lloyd,J.(ed.):
Logic Programming:
Proceedings of the 1995 Int'l Symposium, Portland.
1996 644 pp.
(M.I.T.) 9780262620994 17,550.
20165 Lopez,J./K.Ross.:
Sidon Sets.
(Lecture Notes in Pure and Applied Mathematics, Vol. 13)
1975 193 pp.
(Dekker) 9780824762896 16,280.
／注文方法／ボタンの
20166 Maclane,S./Moerdjik,I.:
Sheaves in Geometry and Logic.
(Universitext)
1992 627 pp.
(Springer) 9783540977100 15,860.
20167 Maddux,R.:
Relation Algebras.
(Studies in Logic and the Foundations of Mathematics, Vol. 150)
2006 731 pp.
(North Holland) 9780444520135 35,640.
20168 Mader,A.:
Almost Completely Decomposable Groups.
(Algebra Logic and Applications, Vol. 13)
2000 354 pp.
(Gordon) 9789056992255 16,000.
20169 Pizzi,C.(ed.) :
Logical and Computational Aspects of Model-Based Reasoning.
(Appied Logic Series, Vol. 25)
2002 339 pp.
(Kluwer) 9781402007910 6,720.
20170 Manivel,L.:
Symmetric Functions, Schubert Polynomials
and Degeneracy Loci.
(SMF/AMS Texts and Monographs, Vol. 6)
2001 176 pp.
(A.M.S.) 9780821821541 7,470.
／注文方法／ボタンの
20171 Manna,Z./Pnueli,A.:
The Temporal Logic of Reactive and Concurrent Systems.
1992 427 pp.
(Springer) 9783540976646 11,700.
20172 Marcja,A./Toffalori,:
A Guide to Classical and Modern Model Theory.
(Trends in Logic, Vol. 19)
2003 384 pp.
(Kluwer) 9781402013300 23,520.
20173 Marker,D.:
Model Theory: An Introduction.
(Graduate Texts in Mathematics, Vol. 217)
2002 342 pp.
(Springer) 9780387987606 11,550.
20174 Mclarty,C.:
Elementary Categories, Elementary Toposes.
(Oxford Logic Guides, Vol. 21)
1995 280 pp.
(Oxford) 9780198514732 18,520.
20175 Mendelson,E.:
Introduction to Mathematical Logic, 4th ed.
1997 440 pp.
(Chapman & Hall) 9780412808302 17,280.
／注文方法／ボタンの
20176 Menger,K.:
Reminiscences of the Vienna Circle
and the Mathematical Colloquium.
1994 272 pp.
(Kluwer) 9780792327110 24,840.
20177 Menzler-Trott,E.:詳報掲載
Logic's Lost Genius: The Life of Gerhard Gentzen.
(History of Mathematics, Vol. 33)
2007 440 pp.
(A.M.S.) 9780821835500 14,420.
20178 Miller,D.(ed.):
Logic Programming.
1993 900 pp.
(M.I.T.) 9780262631525 17,550.
20179 Moschovakis,Y.:
Notes on Set Theory, 2nd ed.
(Undergraduate Texts in Mathematics)
2006 276 pp.
(Springer) 9780387287225 17,070.
20180 Mostowski,A.:
Foundational Studies: Selected Works, 2 Vols. Set.
1979 1236 pp.
(North Holland) 9780444851024 46,750.
／注文方法／ボタンの
20181 Nagel,E./Newman,J.:
Godel's Proof.
2005 94 pp.
(Routledge) 9780415355285 3,080.
20182 Negri,S./Von Plato,J:
Structural Proof Theory.
2001 256 pp.
(Cambridge) 9780521793070 14,600.
20183 Newton,I.:
The Principia:
Mathematical Principles of Natural Philosophy.
1999 974 pp.
(California) 9780520088177 8,100.
20184 Nguyen,H./Walker,E.:
A First Course in Fuzzy Logic, 3rd ed.
2005 440 pp.
(Chapman & Hall) 9781584885269 12,520.
20185 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.
／注文方法／ボタンの
20186 Nowakowski,R.(ed.):
More Game of No Chance.
(Mathematical Science Research Institute Publications, Vol. 42)
2003 548 pp.
(Cambridge) 9780521808323 11,770.
20187 Odintsov,S.:詳報掲載
Constructive Negations and Paraconsistency.
(Trends in Logic, Vol. 26)
2008 248 pp.
(Birkhauser) 9781402068669 33,140.
20188 Oikkonen,J.(ed.) :
Logic Colloquium ・0, 2nd Prining.
(Lecture Notes in Logic, Vol. 2)
2001 300 pp.
(A K Peters) 9781568811321 9,000.
20189 Kannenberg,L.:
Geometric Calculus.
1999 150 pp.
(Birkhauser) 9783764341268 14,160.
20190 Pearl,J.:
Causality: Models, Reasoning, and Inference.
2000 384 pp.
(Cambridge) 9780521773621 7,450.
／注文方法／ボタンの
20191 Perin,D./Pin,J.-E.:
Infinite Words: Automata, Semigroups, Logic and Games.
(Pure and Applied Mathematics, Vol. 141)
2004 450 pp.
(Academic) 9780125321112 17,820.
20192 Peters,S./Westerstahl,D.:
Quantifiers in Language and Logic.
2006 480 pp.
(Oxford) 9780199291250 18,590.
20193 Pillay,A.:
Geoemtric Stability Theory.
(Oxford Logic Guides, Vol. 32)
1996 361 pp.
(Oxford) 9780198534372 18,200.
20194 Pogorzelski,W./Wojtylak,P.:詳報掲載
Completeness Theory for Propositional Logics.
(Studies in Universal Logic)
2008 180 pp.
(Birkhauser) 9783764385170 12,220.
20195 Poizat,B.:
Stable Groups.
(Mathematical Surveys and Monographs, Vol. 87)
2001 132 pp.
(A.M.S.) 9780821826850 9,160.
／注文方法／ボタンの
20196 Poizat,B./Klein,M.:
A Course in Model Theory.
(Universitext)
2000 443 pp.
(Springer) 9780387986555 14,010.
20197 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.
20198 Priest,G.:詳報掲載
An Introduction to Non-Classical Logic:
From If to Is, 2nd ed. (Paper ed.)
2008 613 pp.
(Cambridge) 9780521670265 5,110.
20199 Rautenberg,W.:
A Concise Introduction to Mathematical Logic, 2nd ed.
(Universitext)
2006 255 pp.
(Springer) 9780387302942 13,950.
20200 Robinson,A.:
Non -Standerd Analysis.
(Princeton Landmarks in Mathematics and Physics)
1996 308 pp.
(Princeton Univ.) 9780691044903 9,140.
／注文方法／ボタンの
20201 Rodgers,N.:
Learning to Reason.
2000 437 pp.
(Wiley) 9780471371229 16,530.
20202 Rogers,J.:
A Descriptive Approach to Language -Theoretic Complexity.
1998 205 pp.
(C.S.L.I.) 9781575861364 4,350.
20203 Roitblat,L./ Meyer,J.-A.(eds.):
Comparative Approaches to Cognitive Science.
1995 550 pp.
(M.I.T.) 9780262181662 12,870.
20204 Rossi,R.J.:
Theorems, Corollaries, Lemmas, and Methods of Proof.
(Pure and Applied Mathematics)
2006 318 pp.
(Wiley) 9780470042953 15,740.
20205 Ruan,D./Kerre,E.(eds.):
Fuzzy If-Then Rules in Computational Intelligence.
2000 344 pp.
(Kluwer) 9780792378204 20,160.
／注文方法／ボタンの
20206 Rudich,S./Wigderson,A.:
Computational Complexity Theory.
(IAS/Park City Mathematics Series, Vol. 10)
2004 389 pp.
(A.M.S.) 9780821828724 12,590.
20207 Stoltenberg-Hansen,V./Vaananen,J.(eds.):
Logic Colloquium '03. (Paper ed.)
2006 408 pp.
(A K Peters) 9781568812946 5,670.
20208 Saitoh Saburo /Hayashi Nakao/Yamamoto Masahiro (eds.):
Analytic Extension Formulas and Their Applications.
(Int'l Society for Analysis, Applications and Computation, Vol. 9)
2001 296 pp.
(Kluwer) 9780792369509 29,310.
20209 Salmon,N.:
Metaphysics, Mathematics, and Meaning:
Philosophical Papers, Vol. 1 (Paper ed.)
2005 419 pp.
(Oxford) 9780199284719 6,900.
20210 Sandewall,E.:
Features and Fluents:
Representation of Knowledge About Dynamical Systems.
(Oxford Logic Guides, Vol. 30)
1995 352 pp.
(Oxford) 9780198538455 16,090.
／注文方法／ボタンの
20211 Schechter,E.:
Classical and Nonclassical Logics.
2005 507 pp.
(Princeton Univ.) 9780691122793 13,830.
20212 Schlechta,K.:
Coherent Systems.
(Studies in Logic and Practical Reasoning, Vol. 2)
2004 468 pp.
(North Holland) 9780444517890 25,750.
20213 Schmidt,R.et al.(eds.) :
Advances in Modal Logic, Vol. 5.
2005 389 pp.
(King's College)) 9781904987222 6,840.
20214 Shen,A./Vershchagin,:
Basic Set Theory.
(Student Mathematical Library, Vol. 17)
2002 116 pp.
(A.M.S.) 9780821827314 3,570.
20215 Shoenfield,J.:
Mathematical Logic, 2nd Revised ed.
2001 344 pp.
(A K Peters) 9781568811352 6,320.
／注文方法／ボタンの
20216 Sibley,T.:詳報掲載
The Foundations of Mathematics.
2008 432 pp.
(Wiley) 9780470085011 23,970.
20217 Sieg,W./Sommer,R./Talcort,C.(eds.):
Reflections on the Foundations of Mathematics:
Essays in Honor of Solomom Feferman.
(Lecture Notes in Logic, Vol. 15)
2002 444 pp.
(A K Peters) 9781568811697 15,480.
20218 Simmons,H.:
Derivation and Computation.
(Cambridge Tracts in Theoretical Computer Science, Vol. 51)
2000 384 pp.
(Cambridge) 9780521771733 20,440.
20219 Smullyan,R.M.:
Theory of Formal Systems. (Paper ed.)
(Annals of Mathematics Studies, Vol. 47)
1961 142 pp.
(Princeton Univ.) 9780691080475 6,640.
20220 Smullyan,R.M.:
First -Order Logic.
1995 ....
(Dover) 9780486683706 1,820.
／注文方法／ボタンの
20221 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 21,380.
20222 Srivastava,S.:
A Course on Mathematical Logic.
(Universitext)
2008 160 pp.
(Springer) 9780387762753 9,790.
20223 Tarski,A.:
Introduction to Logic and to
The Methodology of Deductive Sciences, 4th ed.
(Oxford Logic Guides, Vol. 24)
1993 256 pp.
(Oxford/USA) 9780195044720 30,290.
20224 Taschner,R.(ed.) :
The Continuum:
A Constructive Approach to Basic Concepts of Real Analysis.
(Vieweg Monographs)
2005 136 pp.
(Vieweg) 9783834800404 7,990.
20225 Tent,K.:
Tits Buildings and The Model Theory of Groups.
(London Mathematical Society Lecture Note Series, Vol. 291)
2002 308 pp.
(Cambridge) 9780521010634 10,070.
／注文方法／ボタンの
20226 Tourlakis,G.:
Lectures in Logic and Set Theory, Vol. 1:
Mathematical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 82)
2003 352 pp.
(Cambridge) 9780521753739 11,530.
20227 Tourlakis,G.:
Lectures in Logic and Set Theory, Vol. 2: Set Theory.
(Cambridge Studies in Advanced Mathematics, Vol. 83)
2003 592 pp.
(Cambridge) 9780521753746 14,600.
20228 Trotter,W.:
Combinatorics and Partially Ordered Sets. (Paper ed.)
(Johns Hopkins Series in Mathematical Sciences)
2002 328 pp.
(Johns Hopkins) 9780801869778 5,350.
20229 Tuganbaev,A.:
Distributive Modules and Related Topics.
(Algebra Logic and Applications, Vol. 12)
1999 258 pp.
(Gordon) 9789056991920 17,000.
20230 Vaananen,J.:
Dependence Logic.
(London Mathematical Society Student Texts, Vol. 70)
2007 234 pp.
(Cambridge) 9780521876599 18,250.
／注文方法／ボタンの
20231 van Benthem,J./ ter Meulen,A.(eds.):
Handbook of Logic and Language.
1996 1247 pp.
(North Holland) 9780444817143 26,700.
20232 van Benthem,J./Heinzmann,G./Rebuschi,M./Visser,H.(eds.):
The Age of Alternative Logics:
Assessing Philosophy of Logic and Mathematics Today.
2006 355 pp.
(Springer) 9781402050114 29,370.
20233 Van Dalen,D.:
Logic and Structure, 4th ed.
(Universitext)
2004 263 pp.
(Springer) 9783540208792 8,670.
20234 Van Dalen,D.:
Mystic, Geometer, and Intuitionist:
The Life of L. E. Brouwer, Vol. 2: Hope and Disillusion.
2005 512 pp.
(Oxford) 9780198516200 24,320.
20235 Van Den Dries,L.:
Tame Topology and O - Minimal Structures.
(London Mathematical Society Lecture Note Series, Vol. 248)
1998 180 pp.
(Cambridge) 9780521598385 8,470.
／注文方法／ボタンの
20236 Van Heijenoort.J :
From Frege to Godel. (Reprint)
2001 664 pp.
(Harvard) 9780674324497 5,610.
20237 Van Hentenryck,P(ed.):
Logic Programming: Proceedings of
the 11th Int'l Conference on Logic Programming.
(Logic Programming Series)
1994 752 pp.
(M.I.T.) 9780262720229 17,550.
20238 van Oosten :
Realizability.
(Studies in Logic and the Foundations of Mathematics, Vol. 152)
2008 310 pp.
(North Holland) 9780444515841 25,110.
20239 Velleman,D.:
How to Prove It: A Structured Approach, 2nd ed.
2006 384 pp.
(Cambridge) 9780521861243 13,350.
20240 Vermeulen,L./Copestake,A.(eds.):
Algebras, Diagrams and Decisions in Language,
Logic and Computation. (Paper ed.)
(CSLI Lecture Notes)
2002 175 pp.
(C.S.L.I.) 9781575863726 4,670.
／注文方法／ボタンの
20241 von Eckardt,B.:
What Is Cognitive Science? (Paper ed.)
1995 478 pp.
(M.I.T.) 9780262720236 5,260.
20242 Wagner,F.:
Simple Theories.
(Mathematics and its Applications, Vol. 503)
2000 272 pp.
(Kluwer) 9780792362210 19,120.
20243 Wagon,S.:
The Banach -Tarski Paradox. (Paper ed.)
1993 253 pp.
(Cambridge) 9780521457040 5,880.
20244 Weeks,J.:
The Shape of Space, 2nd ed.
(Pure and Applied Mathematics, Vol. 249)
2002 382 pp.
(Taylor & Francis) 9780824707095 6,720.
20245 Wittgenstein,L.:
Tractatus Logico-Philosophcus.
1999 125 pp.
(Dover) 9780486404455 1,220.
／注文方法／ボタンの
20246 Wu,W-T.:
Mechanical Theorem Proving in Geometries.
1994 288 pp.
(Springer/Wien) 9783211825068 10,380.
20247 Zapletal,J.:
Descriptive Set Theory and Definable Forcing.
(Memoirs of the American Mathematical Society, No. 793)
2004 141 pp.
(A.M.S.) 9780821834503 9,390.
20248 Zapletal,J.:
Forcing Idealized.
(Cambridge Tracts in Mathematics, Vol. 174)
2008 320 pp.
(Cambridge) 9780521874267 14,450.
20249 Zimand,M.:
Computational Complexity: A Quantitative Perspective.
(North-Holland Mathematics Studies, Vol. 196)
2004 352 pp.
(North Holland) 9780444828415 24,890.