Book News 435号
2.数理論理学・数学基礎論
047 Baldwin,J.:詳報掲載
Categoricity.
(University Lecture Series, Vol. 50)
Aug. 2009 235 pp.
(A.M.S.) 9780821848937 7,860.
*048 Centrone,S.:
Logic and Philosophy of Mathematics in the Early Husserl.
(Synthese Library, Vol. 345)
Oct. 2009 200 pp.
(Springer) 9789048132454 20,190.
049 Droste,M./Kuich,W./Vogler,H.(eds.) :詳報掲載
Handbook of Weighted Automata.
(Monographs in Theoretical Computer Science. An EATCS)
July 2009 625 pp.
(Springer) 9783642014918 24,230.
*050 Hellerstein,N.:詳報掲載
Diamond: A Paradox Logic, 2nd ed.
(Series on Knots and Everything, Vol. 23)
Dec. 2009 300 pp.
(World Sci.) 9789814287135 12,150.
*051 Manin,Yu./Zilber,B.:
A Course in Mathematical Logic for Mathematicians, 2nd ed.
(Graduate Texts in Mathematics, Vol. 257)
Oct. 2009 395 pp.
(Springer) 9781441906144 12,110.
/注文方法/ボタンの / 目次へ / ページトップへ
*052 Mou,B.:
Substantive Perspectivism:
An Essay on Philosophical Concern with Truth.
(Synthese Library, Vol. 344)
July 2009 200 pp.
(Springer) 9789048126224 20,190.
*053 Rahman,S./Symons,J./Gabbay,D./van Bendegem,J.(eds.) :
Logic, Epistemology, and the Unity of Science.
(Now in Paperback ed.)
(Logic, Epistemology, and the Unity of Science, Vol. 1)
July 2009 626 pp.
(Springer) 9789048124862 14,130.
054 Rautenberg,W.:詳報掲載
A Concise Introduction to Mathematical Logic, 3rd ed.
(Universitext)
Dec. 2009 340 pp.
(Springer) 9781441912206 10,470.
*055 Solow,D.:
How to Read and Do Proofs:
An Introduction to Mathematical Thought Processes, 5th ed.
Oct. 2009 288 pp.
(Wiley) 9780470392164 8,220.
*056 van Benthem,J./Heinzmann,G./Rebuschi,M./Visser,H.(eds.) :
The Age of Alternative Logic:
Assessing Philosophy of Logic and Mathematics Today.
(Now in Paperback ed.)
(Logic, Epistemology, and the Unity of Science, Vol. 3)
July 2009 350 pp.
(Springer) 9789048124855 10,090.
/注文方法/ボタンの / 目次へ / ページトップへ