Book News 458号
2.数理論理学・数学基礎論
043 Barwise,J./Barker-Plummer,D./Etchemendy,J.:
Language, Proof and Logic, 2nd ed.
July 2011 650 pp.
(C.S.L.I.) 9781575866321 6,330.
044 Casanovas,E.:
Simple Theories and Hyperimaginaries.
(Lecture Notes in Logic, Vol. 39)
June 2011 192 pp.
(Cambridge) 9780521119559 8,320.
*045 Caspard,N./Leclerc,B./Monjardet,B.:詳報掲載
Finite Ordered Sets: Concepts, Results and Use.
(Encyclopedia of Mathematics and its Applications, Vol. 144)
Feb. 2012 330 pp.
(Cambridge) 9781107013698 9,990.
046 Enderton,H.:
Computability Theory: An Introduction to Recursion Theory.
Jan. 2011 192 pp.
(Academic) 9780123849588 9,750.
047 Kano,M./Akiyama,J.:詳報掲載
Factors and Factorizations of Graphs.
(Lecture Notes in Mathematics, Vol. 2031)
July 2011 360 pp.
(Springer) 9783642219184 12,310.
/注文方法/ボタンの / 目次へ / ページトップへ
048 Lukowski,P.:詳報掲載
Paradoxes.
(Trends in Logic, Vol. 31)
June 2011 165 pp.
(Springer) 9789400714755 17,590.
*049 Pombo,O.et al.(eds.):
Special Sciences and the Unity of Science.
(Logic, Epistemology, and the Unity of Science, Vol. 24)
Aug. 2011 230 pp.
(Springer) 9789400720299 17,590.
*050 Prestel,A./Delzell,C.:
Mathematical Logic and Model Theory.
(Universitext)
Aug. 2011 193 pp.
(Springer) 9781447121756 8,790.
*051 Rahman,S./Primiero,G./Marion,M.(eds.):
The Realism-Antirealism Debate
in the Age of Alternative Logics.
(Logic, Epistemology, and the Unity of Science, Vol. 23)
July 2011 365 pp.
(Springer) 9789400719224 24,630.
*052 Tent,K./Ziegler,M.:
A Course in Model Theory.
(Lecture Notes in Logic, Vol. **)
Mar. 2012 250 pp.
(Cambridge) 9780521763240 6,600.
/注文方法/ボタンの / 目次へ / ページトップへ
*053 Tymoczko,T./Henle,J./Garfield,J.:
Sweet Reason: A Field Guide to Modern Logic, 2nd ed.
Aug. 2011 424 pp.
(Wiley) 9781444337150 7,920.
054 Ye,F.:
Strict Finitism and the Logic Mathematical Applications.
(Synthese Library, Vol. 355)
July 2011 272 pp.
(Springer) 9789400713468 17,590.