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.