Book News 448号
2.数理論理学・数学基礎論


*066 Beziau,J.-Y.(ed.):詳報掲載 Anthology of Universal Logic: From Paul Hertz to Dov Gabbay. (Studies in Universal Logic) Dec. 2010 500 pp. (Springer) 9783034601443 13,430. *067 Bloch,E.: Proofs and Fundamentals: A First Course in Abstract Mathematics, 2nd ed. (Undergraduate Texts in Mathematics) Nov. 2010 358 pp. (Springer) 9781441971265 9,570. *068 Brauner,T.:詳報掲載 Hybrid Logic and Its Proof-Theory. (Appied Logic Series, Vol. 37) Nov. 2010 240 pp. (Springer) 9789400700017 16,790. 069 Cegielski,P.(ed.): Studies in Weak Arithmetics. (CSLI Lecture Notes, Vol. 196) Jan. 2010 213 pp. (C.S.L.I.) 9781575866024 5,200. 070 Fenstad,J.:詳報掲載 Grammar, Geometry, and Brain. (CSLI Lecture Notes, Vol. 200) Apr. 2010 120 pp. (C.S.L.I.) 9781575865935 7,800.
注文方法/ボタンの目次へページトップへ
071 Fenstad,J.:詳報掲載 Grammar, Geometry, and Brain. (Paper ed.) (CSLI Lecture Notes, Vol. 200) Apr. 2010 120 pp. (C.S.L.I.) 9781575865928 3,900. 072 Orlowska,E./Golinska-Pilarek,J.: Dual Tableaux: Foundations, Methodology, Case Studies. (Trends in Logic, Vol. 33) Dec. 2010 562 pp. (Springer) 9789400700048 28,550. *073 Rini,A.: Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic. Nov. 2010 200 pp. (Springer) 9789400700499 16,790. *074 Wolf,R.:詳報掲載 A Tour Through Mathematical Logic: A Real Analysis Approach. (Carus Mathematical Monographs) Sep. 2010 260 pp. (M.A.A.) 9780883850428 3,980. 075 van Benthem,J.:詳報掲載 Modal Logic for Open Minds. (CSLI Lecture Notes, Vol. 199) Apr. 2010 350 pp. (C.S.L.I.) 9781575865997 9,100.
注文方法/ボタンの目次へページトップへ
076 van Benthem,J.:詳報掲載 Modal Logic for Open Minds. (Paper ed.) (CSLI Lecture Notes, Vol. 199) Apr. 2010 350 pp. (C.S.L.I.) 9781575865980 4,550.