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.