Yurinsha Stock List 2010
2.数理論理学・数学基礎論
20001 Abhyankar,S.:
Local Analytic Geometry.
2001 488 pp.
(World Sci.) 9789810245054 10,920.
20002 Aceto,L./Ingolfsdottir,A./Guldstrand,K./Srba,J.:
Reactive Systems: Modelling, Specification and Verification.
2007 300 pp.
(Cambridge) 9780521875462 13,870.
20003 Aczel,P./Simmons,H./Wainer,S.(eds.):
Proof Theory.
1992 306 pp.
(Cambridge) 9780521414135 17,800.
20004 Aiello,M./Pratt-Hartmann,I./van Benthem,J.(eds.):
Handbook of Spatial Logics.
2007 1058 pp.
(Springer) 9781402055867 71,760.
20005 Albeverio,S.et al.:詳報掲載
Nonstandard Methods in Stochastic Analysis and
Mathematical Physics. Reprint 1986
2009 517 pp.
(Dover) 9780486468990 4,200.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20006 Aliseda-Llera,A./Westerstahl,D./van Glabbeek,R.(eds.) :
Computing Natural Language.
1998 158 pp.
(C.S.L.I.) 9781575861005 5,040.
20007 Andrews,P.:
An Introduction to Mathematical Logic and Type
Theory: To Truth Through Proof, 2nd ed.
(Appied Logic Series, Vol. 27)
2002 408 pp.
(Kluwer) 9781402007637 16,190.
20008 Apt,K./Wallace,C.:
Constraint Logic Programming Using Eclipse.
2007 329 pp.
(Cambridge) 9780521866286 10,200.
20009 Asher,N.:
Reference to Abstract Objects in Discourse.
(Studies in Linguistics and Philosophy, Vol. 50)
1993 455 pp.
(Kluwer) 9780792322429 23,430.
20010 Awodey,S.:
Category Theory.
(Oxford Logic Guides, Vol. 49)
2006 256 pp.
(Oxford) 9780198568612 19,750.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20011 Azzouni,J.:
Tracking Reason: Proof, Consequence, and Truth.
2005 248 pp.
(Oxford/USA) 9780195187137 8,910.
20012 Baaz,M./Friedman,S.-D./Krajicek,J.(eds.):
Logic Colloquium '01. (Paper ed.)
(Lecture Notes in Logic, 20)
2005 486 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 240 pp.
(Princeton Univ.) 9780691058535 5,780.
20014 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.
20015 Beineke,L./Wilson,R.:詳報掲載
Topics in Topological Graph Theory.
(Encyclopedia of Mathematics and its Applications, Vol. 128)
2009 347 pp.
(Cambridge) 9780521802307 13,070.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20016 Bell,J./Slomson,A.:
Models and Ultraproducts: An Introduction. 1974 Reprint
2006 322 pp.
(Dover) 9780486449791 2,600.
20017 Bennett,D.:
Logic Made Easy: How to Know When Language Deceives You.
2005 256 pp.
(Norton) 9780393326925 2,530.
20018 Bergsra,D./Ponse,A./Smolka,S.(eds.):
Handbook of Processes Algebra.
2001 1356 pp.
(North Holland) 9780444828309 40,150.
20019 Bernays,P.:
Axiomatic Set Theory.
1991 227 pp.
(Dover) 9780486666372 2,100.
20020 Beziau,J.(ed.):
Logica Universalis: Towards a General Theory of
Logic, 2nd ed.
2007 246 pp.
(Birkhauser) 9783764383534 12,120.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
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 Blass,A./Zhang,Y.(eds.):
Logic and Its Applications.
(Contemporary Mathematics, Vol. 380)
2005 306 pp.
(A.M.S.) 9780821834749 11,520.
20023 Bochman,A.:
Explanatory Nonmonotonic Reasoning.
2005 408 pp.
(World Sci.) 9789812561015 12,180.
20024 Boolos,G.:
The Logic of Provability. (Paper ed.)
1995 275 pp.
(Cambridge) 9780521483254 6,750.
20025 Bornat,S.:
Proof and Disproof in Formal Logic.
(Oxford Texts in Logic, Vol. 2)
2005 264 pp.
(Oxford) 9780198530268 29,800.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20026 Borovik,A.(ed.) :
Groups, Languages, Algorithms.
(Contemporary Mathematics, Vol. 378)
2005 348 pp.
(A.M.S.) 9780821836187 12,910.
20027 Buechler,S.:
Essential Stability Theory.
(Perspectives in Mathematical Logic, Series)
1996 355 pp.
(Springer) 9783540610113 15,430.
20028 Burger,E.:
Extending the Frontiers of Mathematics: Inquiries
into Argumentation and Proof.
2007 171 pp.
(Springer) 9781597570428 9,950.
20029 Calude,C.:
Information and Randomness: An Algorithmic
Perspective, 2nd ed.
(Texts in Theoretical Computer Sciences. An EATCS Series)
2002 450 pp.
(Springer) 9783540434665 14,130.
20030 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.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20031 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.
20032 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.
20033 Casti,J./dePauli,W.:
Godel: A Life of Logic.
2000 210 pp.
(Perseus) 9780738202747 4,570.
20034 Chagrov,A./Zakharayaschev,M.:
Modal Logic.
(Oxford Logic Guides, Vol. 35)
1997 605 pp.
(Oxford) 9780198537793 31,500.
20035 Chajda,I./Halas,R./Kuhr,J.:
Semilattice Structures.
(Research and Exposition in Mathematics, Vol. 30)
2007 228 pp.
(Heldermann) 9783885382300 6,970.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20036 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,
August 1995.
(Synthese Library, Vol. 281)
1999 338 pp.
(Kluwer) 9780792357278 19,380.
20037 Chong,C.et al.(eds.):詳報掲載
Computational Prospects of Infinity, Part I: Tutorials.
(Lecture Notes Series, Insititute for Mathematical Sciences, National University of Singapore, Vol. 14)
2008 250 pp.
(World Sci.) 9789812796530 15,670.
20038 Chong,C.et al.(eds.):
Computational Prospects of Infinity, Part II:
Presented Talks.
(Lecture Notes Series, Insititute for Mathematical Sciences, National University of Singapore, Vol. 15)
2008 400 pp.
(World Sci.) 9789812796547 19,470.
20039 Church,A.:
Introduction to Mathematical Logic.
(Princeton Landmarks in Mathematics and Physics)
1996 378 pp.
(Princeton Univ.) 9780691029061 5,650.
20040 Ciesielski,K.:
Set Theory for the Working Mathematician. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 39)
1997 236 pp.
(Cambridge) 9780521594653 6,290.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20041 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,010.
20042 Clark,D./Davey,B.:
Natural Dualities for the Working Algebraist.
(Cambridge Studies in Advanced Mathematics, Vol. 57)
1998 356 pp.
(Cambridge) 9780521454155 15,850.
20043 Cooper,B./Geuvers,H./Pillay,A./Vaananen,J.(eds.):
Logic Colloquium 2006.
(Lecture Notes in Logic, Series)
2009 373 pp.
(Cambridge) 9780521110815 13,070.
20044 Cooper,B./Truss,J.(eds.):
Models and Computability.
(London Mathematical Society Lecture Note Series, Vol. 259)
1999 419 pp.
(Cambridge) 9780521635509 10,560.
20045 Cooper,S.:
Computability Theory.
(Chapman Hall /CRC Mathematics Series, Vol. 26)
2003 409 pp.
(Chapman & Hall) 9781584882374 13,110.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20046 Cori,R./Razborov,A./Torcevic,S./Wood,C.(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.)
2005 400 pp.
(A K Peters) 9781568812526 6,760.
20047 Cox,D./Little,J../O'Shea,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 8,800.
20048 Cummins,R./ Pollock,J.(eds.) :
Philosophy and Ai: Essays at the Interface.
1995 320 pp.
(M.I.T.) 9780262531351 3,510.
20049 Cusick,T./Stanica,P.:
Cryptographic Boolean Functions and Applications.
2009 231 pp.
(Academic) 9780123748904 8,750.
20050 Cutland, N.:
Loeb Measures in Practice: Recent Advances: Ems
Lectures 1997.
(Lecture Notes in Mathematics, Vol. 1751)
2000 122 pp.
(Springer) 9783540413844 5,570.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20051 Cvetkovic,D./Rowlinnnson,P.Simic,S:
Spectral Generalizations of Line Graphs: On
Graphs with Least Eigenvalue -2.
(London Mathematical Society Lecture Note Series, Vol. 314)
2004 310 pp.
(Cambridge) 9780521836630 9,370.
20052 Davey,B./Priestley,H.:
Introduction to Lattices and Order, 2nd ed. (Paper ed.)
2002 298 pp.
(Cambridge) 9780521784511 7,020.
20053 Davidi,D./Kenyon,T.(eds.):
A Logical Approach to Philosophy: Essays in
Memory of Graham Solomon.
2005 410 pp.
(Kluwer) 9781402035333 26,150.
20054 Davis,M.:
Computability and Unsolvability.
1982 248 pp.
(Dover) 9780486614717 2,660.
20055 Davis,M.(ed.):
The Undecidable. 1965 Reprint.
2004 413 pp.
(Dover) 9780486432281 4,140.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20056 De Bruyn,B.:
Near Polygons.
(Frontiers in Mathematics)
2006 263 pp.
(Birkhauser) 9783764375522 8,700.
20057 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.
20058 Dehornoy,P./Dynnikov,I./Rolfsen,D./Wiest,B.:
Why Are Braids Orderable
(Panoramas et syntheses, Vol. 14)
2003 190 pp.
(S.M.F.) 9782856291351 6,980.
20059 Deshouillers,J./Landreau,B./Yudin,A.:
Structure Theory of Set Addition.
(Asterisque, Vol. 258)
1999 436 pp.
(S.M.F.) 9781000013191 15,000.
20060 Devlin,K.:
Logic and Information.
1995 307 pp.
(Cambridge) 9780521499712 5,430.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20061 Dossey,J.(ed.):
Confronting the Core Curriculum.
(MAA Notes, Vol. 45)
1998 136 pp.
(M.A.A.) 9780883851555 8,420.
20062 Dunn,J./Hardegree,G.:
Algebraic Methods in Philosophical Logic.
(Oxford Logic Guides, Vol. 41)
2001 470 pp.
(Oxford) 9780198531920 27,360.
20063 Ebbinghaus,H.-D./Flum,J.:
Finite Model Theory, 2nd ed. 1999. 2nd Printing
(Springer Monographs in Mathematics)
2005 360 pp.
(Springer) 9783540287872 12,600.
20064 Ehrhard,T./Girard,J.-Y./Ruet,P./Scott,P.(eds.):
Linear Logic in Computer Science.
(London Mathematical Society Lecture Note Series, Vol. 316)
2004 392 pp.
(Cambridge) 9780521608572 13,600.
20065 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.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20066 Enayat,A./Kossak,R.(eds.):
Nonstandard Models of Arithmetic and Set Theory.
(Contemporary Mathematics, Vol. 361)
2004 167 pp.
(A.M.S.) 9780821835357 8,600.
20067 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. I: Publications
1929 -1936. (Paper ed.)
2001 474 pp.
(Oxford/USA) 9780195147209 8,010.
20068 Feferman,S./Dawson,J./Goldfarb,W./Persons,C.(eds.):
Kurt Godel: Collected Works, Vol. IV: Selected
Correspondence, A. -G.
2003 662 pp.
(Oxford) 9780198500735 21,630.
20069 Feferman,S.(ed.) :
Kurt Godel: Collected Works, Vol. V: Selected
Correspondence, H -Z.
2003 664 pp.
(Oxford) 9780198500759 23,690.
20070 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.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20071 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.
20072 Fruhwirth,T.:
Constraint Handling Rules.
2009 296 pp.
(Cambridge) 9780521877763 10,560.
20073 Fulton,W./Harris,J.:
Representation Theory: A First Course. (Paper ed.)
(Graduate Texts in Mathematics, Vol. 129)
1991 551 pp.
(Springer) 9780387974958 8,190.
20074 Gabbay,D.:
Labelled Deductive Systems, Vol. 1.
(Oxford Logic Guides, Vol. 33)
1996 497 pp.
(Oxford) 9780198538332 18,780.
20075 Gabbay,D./Guenthner,F.(eds.):
Handbook of Philosophical Logic, Vol. 6. , 2nd ed.
2002 420 pp.
(Springer) 9781402005831 27,240.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20076 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.
20077 Gabbay,D./Skvortsov,D./Shehtman,V.:
Quantification in Nonclassical Logic.
(Studies in Logic and the Foundations of Mathematics, Vol. 153)
2009 615 pp.
(North Holland) 9780444520128 30,960.
20078 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.
20079 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.
20080 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.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20081 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 20,020.
20082 Galavotti,C.(ed.):
Cambridge and Vienna: Frank.P.Ramsy and the Vienna Circle.
2006 257 pp.
(Springer) 9781402041006 29,430.
20083 Gao,S.:
Invariant Descriptive Set Theory.
(Pure and Applied Mathematics, Vol. 293)
2008 392 pp.
(Chapman & Hall) 9781584887935 10,300.
20084 Gao,S./Jackson,S./Zhang,Y.(eds.):
Advances in Logic.
(Contemporary Mathematics, Vol. 425)
2007 150 pp.
(A.M.S.) 9780821838198 7,360.
20085 Gelfand,S./Gerver,M./Kirillov,A.(eds.):
Sequences, Combinations, Limits.
2002 160 pp.
(Dover) 9780486425665 1,770.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20086 Gessel,I./Rota,G.(eds.):
Classic Papers in Combinatorics. 1987 Print
(Modern Birkhauser Classics)
2009 505 pp.
(Birkhauser) 9780817648411 6,530.
20087 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,000.
20088 Gillies,D.:
Artificial Intelligence and Scientific Method. (Paper ed.)
1996 194 pp.
(Oxford) 9780198751595 7,810.
20089 Gilmore,P.(ed.):
Logicism Renewed: Logical Foundations for
Mathematics and Computer Science. (Paper ed.)
2005 230 pp.
(A K Peters) 9781568812762 6,590.
20090 Gossett,E.:詳報掲載
Discrete Mathematics with Proof, 2nd ed.
2009 904 pp.
(Wiley) 9780470457931 18,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20091 Gradel,E./Kolaitis,P./Libkin,L./Marx,M./Spencer,J./Vardi,M./Venema,Y./Weinstein,S.:
Finite Model Theory and Its Applications.
(Texts in Theoretical Computer Sciences. An EATCS Series)
2007 437 pp.
(Springer) 9783540004288 13,120.
20092 Hacking,I.:
An Introduction to Probability and Inductive Logic.
2001 320 pp.
(Cambridge) 9780521775014 5,290.
20093 Hajnal,A./Hamburger,P.:
Set Theory. (Paper ed.)
(London Mathematical Society Student Texts, Vol. 48)
1999 316 pp.
(Cambridge) 9780521596671 7,110.
20094 Hart,B./Valeriote,M.(eds.):
Lectures on Algebraic Model Theory.
(Fields Institute Monographs, Vol. 15)
2001 111 pp.
(A.M.S.) 9780821827055 5,370.
20095 Henkin,L.et al.:
Cylindrick Algebras, Part I.
(Studies in Logic and the Foundations of Mathematics, Vol. 64)
1971 508 pp.
(North Holland) 9780720420432 30,270.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20096 Henson,C./Iovino,J./Kechris,A./Odell,E.:
Analysis and Logic.
(London Mathematical Society Lecture Note Series, Vol. 262)
2003 282 pp.
(Cambridge) 9780521648615 9,500.
20097 Herrlich,H.:
Axiom of Choice.
(Lecture Notes in Mathematics, Vol. 1876)
2006 198 pp.
(Springer) 9783540309895 7,470.
20098 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.
20099 Hohle,U./Rodabaugh,R.:
Mathematics of Fuzzy Sets: Logic, Topology, and
Measure Theory.
1999 716 pp.
(Kluwer) 9780792383888 51,850.
20100 Huber,F./Schmidt-Petri,C.(eds.) :
Degrees of Belief.
(Synthese Library, Vol. 342)
2009 354 pp.
(Springer) 9781402091971 32,790.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20101 Jech,T.:
Set Theory: The 3rd Millennium Edition, Revised
and Expanded.
(Springer Monographs in Mathematics)
2002 769 pp.
(Springer) 9783540440857 26,060.
20102 Kanamori,A.:詳報掲載
The Higher Infinite: Large Cardinals in Set
Theory from Their Beginnings. 2nd Print 2009
(Paperback ed.)
(Springer Monographs in Mathematics)
2008 536 pp.
(Springer) 9783540888666 9,090.
20103 Kannenberg,L.:
Geometric Calculus.
1999 150 pp.
(Birkhauser) 9783764341268 14,160.
20104 Kanovei,V.:
Borel Equivalence Relations: Structure and Classification.
(University Lecture Series, Vol. 44)
2008 236 pp.
(A.M.S.) 9780821844533 7,280.
20105 Kenschaft,P.:
Change is Possible: Stories of Women and
Minorities in Mathematics.
2005 212 pp.
(A.M.S.) 9780821837481 4,860.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20106 Kharazishvili,A.:
Nonmeasurable Sets and Functions.
(North-Holland Mathematics Studies, Vol. 195)
2004 337 pp.
(North Holland) 9780444516268 24,490.
20107 Kleene,S.:
Mathematical Logic.
2002 398 pp.
(Dover) 9780486425337 3,660.
20108 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.
20109 Krantz,S.:
A Primer of Mathematical Writing.
1996 223 pp.
(A.M.S.) 9780821806357 3,170.
20110 Kreuzer,M./Robbiano,L.:
Computational Commutative Algebra, 1.
2000 322 pp.
(Springer) 9783540677338 10,000.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20111 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.
20112 Lambek,J./Scott,P.J.:
Introduction to Higher Order Categorical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 7)
1986 293 pp.
(Cambridge) 9780521356534 6,550.
20113 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 4,160.
20114 Lawvere,W./Schanuel,S.:詳報掲載
Conceptual Mathematics: A First Introduction to
Categories, 2nd ed.
2009 390 pp.
(Cambridge) 9780521894852 18,480.
20115 Leinster,T.:
Higher Operads, Higher Categories.
(London Mathematical Society Lecture Note Series, Vol. 298)
2004 433 pp.
(Cambridge) 9780521532150 12,820.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20116 Lescop,C.:
Global Surgery Formula for the Casson -Walker
Invariant. (Paper ed.)
(Annals of Mathematics Studies, Vol. 140)
1996 150 pp.
(Princeton Univ.) 9780691021324 4,720.
20117 Lloyd,J.(ed.):
Logic Programming: Proceedings of the 1995 Int'l
Symposium, Portland.
1996 644 pp.
(M.I.T.) 9780262620994 17,550.
20118 Lopez,J./K.Ross.:
Sidon Sets.
(Lecture Notes in Pure and Applied Mathematics, Vol. 13)
1975 193 pp.
(Dekker) 9780824762896 16,280.
20119 Mader,A.:
Almost Completely Decomposable Groups.
(Algebra Logic and Applications, Vol. 13)
2000 354 pp.
(Gordon) 9789056992255 16,000.
20120 Makinson,D.:詳報掲載
Sets, Logic and Maths for Computing.
(Undergraduate Topics in Computer Science)
2008 301 pp.
(Springer) 9781846288449 5,040.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20121 Makinson,D./Malinowski,J./Wansing,H.(eds.):
Towards Mathematical Philosophy: Papers from the
Studia Logica Conference Trends in Logic IV.
(Trends in Logic, Vol. 28)
2008 320 pp.
(Springer) 9781402090837 24,560.
20122 Manivel,L.:
Symmetric Functions, Schubert Polynomials and
Degeneracy Loci.
(SMF/AMS Texts and Monographs, Vol. 6)
2001 176 pp.
(A.M.S.) 9780821821541 6,900.
20123 Manna,Z./Pnueli,A.:
The Temporal Logic of Reactive and Concurrent Systems.
1992 427 pp.
(Springer) 9783540976646 11,700.
20124 Marcja,A./Toffalori,C.:
A Guide to Classical and Modern Model Theory.
(Trends in Logic, Vol. 19)
2003 384 pp.
(Kluwer) 9781402013300 23,520.
20125 Marker,D.:
Model Theory: An Introduction.
(Graduate Texts in Mathematics, Vol. 217)
2002 342 pp.
(Springer) 9780387987606 8,400.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20126 Marquis,J.-P.:
From A Geometrical Point of View: A Study of the
History and Philosophy of Category Theory.
2009 310 pp.
(Springer) 9781402093838 27,660.
20127 Mendelson,E.:
Introduction to Mathematical Logic, 4th ed.
1997 440 pp.
(Chapman & Hall) 9780412808302 17,280.
20128 Menger,K.:
Reminiscences of the Vienna Circle and the
Mathematical Colloquium.
1994 272 pp.
(Kluwer) 9780792327110 24,840.
20129 Menzler-Trott,E.:詳報掲載
Logic's Lost Genius: The Life of Gerhard Gentzen.
(History of Mathematics, Vol. 33)
2007 440 pp.
(A.M.S.) 9780821835500 13,060.
20130 Miller,D.(ed.):
Logic Programming.
1993 900 pp.
(M.I.T.) 9780262631525 17,550.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20131 Mostowski,A.:
Foundational Studies: Selected Works, 2 Vols. Set.
1979 1236 pp.
(North Holland) 9780444851024 46,750.
20132 Nguyen,H./Walker,E.:
A First Course in Fuzzy Logic, 3rd ed.
2005 440 pp.
(Chapman & Hall) 9781584885269 12,520.
20133 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.
20134 Nowakowski,R.(ed.) :
More Game of No Chance.
(Mathematical Science Research Institute Publications, Vol. 42)
2003 548 pp.
(Cambridge) 9780521808323 11,220.
20135 Oikkonen,J./Voananen,J.(eds.):
Logic Colloquium '90.
(Lecture Notes in Logic, Vol. 2)
2001 300 pp.
(A K Peters) 9781568811321 9,000.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20136 Pedicchio,M./Tholen,W.(eds.):
Categorical Foundations: Special Topics in Order,
Topology Algebra, and Sheaf Theory.
(Encyclopedia of Mathematics and its Applications, Vol. 97)
2004 440 pp.
(Cambridge) 9780521834148 17,420.
20137 Peters,S./Westerstahl,D.:
Quantifiers in Language and Logic.
2006 480 pp.
(Oxford) 9780199291250 18,590.
20138 Pohlers,W.:詳報掲載
Proof Theory.
(Universitext)
2008 370 pp.
(Springer) 9783540693185 7,150.
20139 Post,E.:
The Two -Valued Iterative Systems of Mathematical
Logic. (Paper ed.)
(Annals of Mathematics Studies, Vol. 5)
1941 122 pp.
(Princeton Univ.) 9780691095707 2,810.
20140 Potter,M.:
Wittgenstein's Notes on Logic.
2009 304 pp.
(Oxford) 9780199215836 8,330.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20141 Rautenberg,W.:
A Concise Introduction to Mathematical Logic, 2nd ed.
(Universitext)
2006 255 pp.
(Springer) 9780387302942 7,690.
20142 Richmond,B./Richmond,T.:詳報掲載
A Discrete Transition to Advanced Mathematics.
Print 2003 Brook Cole
(AMS Pure and Applied Undergraduate Texts, Vol. 3)
2009 424 pp.
(A.M.S.) 9780821847893 10,310.
20143 Rogers,J.:
A Descriptive Approach to Language -Theoretic Complexity.
1998 205 pp.
(C.S.L.I.) 9781575861364 4,350.
20144 Rogers,N.:
Learning to Reason.
2000 437 pp.
(Wiley) 9780471371229 16,530.
20145 Roman,S.:詳報掲載
Lattices and Ordered Sets.
2008 305 pp.
(Springer) 9780387789002 9,480.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20146 Rossi,R.:
Theorems, Corollaries, Lemmas, and Methods of Proof.
(Pure and Applied Mathematics)
2006 318 pp.
(Wiley) 9780470042953 15,740.
20147 Ruan,D./Kerre,E.(eds.):
Fuzzy If -Then Rules in Computational
Intelligence: Theory and Applications.
2000 344 pp.
(Kluwer) 9780792378204 20,160.
20148 Salmon,N.:
Metaphysics, Mathematics, and Meaning:
Philosophical Papers, Vol. 1. (Paper ed.)
2005 419 pp.
(Oxford) 9780199284719 6,900.
20149 Sandewall,E.:
Features and Fluents: Representation of Knowledge
About Dynamical Systems.
(Oxford Logic Guides, Vol. 30)
1995 352 pp.
(Oxford) 9780198538455 16,090.
20150 Schechter,E.:
Classical and Nonclassical Logics: An
Introduction to the Mathematics of Propositions.
2005 507 pp.
(Princeton Univ.) 9780691122793 7,990.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20151 Schmidt,R.et al.(eds.) :
Advances in Modal Logic, Vol. 5.
2005 389 pp.
(King's College) 9781904987222 6,840.
20152 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.
20153 Simmons,H.:
Derivation and Computation.
(Cambridge Tracts in Theoretical Computer Science, Vol. 51)
2000 384 pp.
(Cambridge) 9780521771733 20,100.
20154 Smullyan,R.M.:
First -Order Logic.
1995 176 pp.
(Dover) 9780486683706 1,460.
20155 Stern,M.:詳報掲載
Semimodular Lattices: Theory and Applications.
(Paperback ed.)
(Encyclopedia of Mathematics and Its Applications, Vol. 73)
2009 384 pp.
(Cambridge) 9780521118842 9,240.
／注文方法／ボタンの ／
href="mokuji.html" target="_self">目次へ ／ ページトップへ
20156 Strumfels,B.:
Algorithms in Invariant Theory, 2nd ed.
2008 197 pp.
(Springer/Wien) 9783211774168 8,190.
20157 Takahashi Masako / Okada Mitsuhiro /Dezani-Ciancaglini,M.(eds.):
Theories of Type and Proofs.
(MSJ Memoirs, Vol. 2)
1998 295 pp.
(M. S. J.) 9784931469020 5,800.
20158 Tent,K.:
Tits Buildings and the Model Theory of Groups.
(London Mathematical Society Lecture Note Series, Vol. 291)
2002 308 pp.
(Cambridge) 9780521010634 9,770.
20159 Tourlakis,G.:
Lectures in Logic and Set Theory, Vol. 1:
Mathematical Logic.
(Cambridge Studies in Advanced Mathematics, Vol. 82)
2003 352 pp.
(Cambridge) 9780521753739 10,430.
20160 Tourlakis,G.:
Lectures in Logic and Set Theory, Vol. 2: Set Theory.
(Cambridge Studies in Advanced Mathematics, Vol. 83)
2003 592 pp.
(Cambridge) 9780521753746 13,990.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20161 Tourlakis,G.:詳報掲載
Mathematical Logic.
2008 293 pp.
(Wiley) 9780470280744 14,290.
20162 Trotter,W.:
Combinatorics and Partially Ordered Sets. (Paper ed.)
(Johns Hopkins Series in Mathematical Sciences, Series)
2002 328 pp.
(Johns Hopkins) 9780801869778 4,620.
20163 Tuganbaev,A.:
Distributive Modules and Related Topics.
(Algebra Logic and Applications, Vol. 12)
1999 258 pp.
(Gordon) 9789056991920 17,000.
20164 Van Dalen,D.:
Logic and Structure, 4th ed.
(Universitext)
2004 263 pp.
(Springer) 9783540208792 8,670.
20165 Van Dalen,D.et al.:
Sets: Naive, Axiomatic and Applied.
1978 342 pp.
(Pergamon) 9780080211664 33,900.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20166 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.
20167 Vermeulen,L./Copestake,A.(eds.):
Algebras, Diagrams and Decisions in Language,
Logic and Computation. (Paper ed.)
(CSLI Lecture Notes, Series)
2002 175 pp.
(C.S.L.I.) 9781575863726 4,670.
20168 Wagner,F.:
Simple Theories.
(Mathematics and its Applications, Vol. 503)
2000 272 pp.
(Kluwer) 9780792362210 15,370.
20169 Weinberger,S.:
Computers, Rigidity, and Moduli: The Large Scale
Fractal Geometry of Riemannian Moduli Space.
2005 174 pp.
(Princeton Univ.) 9780691118895 5,490.
20170 Wittgenstein,L.:
Tractatus Logico-Philosophcus.
1999 125 pp.
(Dover) 9780486404455 1,220.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
20171 Wu,W-T.:
Mechanical Theorem Proving in Geometries.
1994 288 pp.
(Springer/Wien) 9783211825068 10,380.
20172 Zapletal,J.:
Forcing Idealized.
(Cambridge Tracts in Mathematics, Vol. 174)
2008 320 pp.
(Cambridge) 9780521874267 13,070.
20173 Zhang,Yi.:
Logic and Algebra.
(Contemporary Mathematics, Vol. 302)
2002 285 pp.
(A.M.S.) 9780821829844 10,930.
20174 van Benthem,J./ ter Meulen,A.(eds.):
Handbook of Logic and Language.
1996 1247 pp.
(North Holland) 9780444817143 26,700.
20175 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.
／注文方法／ボタンの / 目次へ ／ ページトップへ
20176 van Dalen,D.:
Mystic, Geometer, and Intuitionist: The Life of
L.E.J.Brouwer, Vol. 2: Hope and Disillision.
2005 512 pp.
(Oxford) 9780198516200 24,320.
20177 von Eckardt,B.:
What Is Cognitive Science? (Paper ed.)
1995 478 pp.
(M.I.T.) 9780262720236 5,260.