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


*036 Abrial,J./Glasser,U.(eds.): Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science, Vol. 5115) 22002 235 pp. (Springer) 9783642114465 9,110. 037 Crama,Y./Hammer,P.(eds.):詳報掲載 Boolean Functions, Vol. 2: Applications. (Encyclopedia of Mathematics and its Applications, Vol. 134) May 2010 748 pp. (Cambridge) 9780521847520 17,160. 038 Delon,F.et al.(eds.):詳報掲載 Logic Colloquium 2007. (Lecture Notes in Logic) Apr. 2010 281 pp. (Cambridge) 9780521760652 11,220. 039 Doberkat,E.-E.:詳報掲載 Stochastic Coalgebric Logic. (Monographs in Theoretical Computer Science. An EATCS) Nov. 2009 231 pp. (Springer) 9783642029943 15,830. *040 Dodos,P.: Banach Spaces and Descriptive Set Theory: Selected Topics. (Lecture Notes in Mathematics, Vol. 1993) May 2010 160 pp. (Springer) 9783642121524 6,920.
注文方法/ボタンの目次へページトップへ
041 Feferman,S./Parsons,C./Simpson,S.:詳報掲載 Kurt Godel: Essays for his Centennial. (Lecture Notes in Logic) Mar. 2010 375 pp. (Cambridge) 9780521115148 11,880. *042 Hartimo,M.: Phenomenology and Mathematics. (Phenomenologica, Vol. 195) Feb. 2010 250 pp. (Springer) 9789048137282 19,790. 043 Haskel,D./PIllay,A./Steinhorn,C.: Model Theory, Algebra, and Geometry. (Now in Paperback ed.) (Mathematical Science Research Institute Publications, Vol. 39) Apr. 2010 235 pp. (Cambridge) 9780521143493 3,560. 044 Schmidt,G.:詳報掲載 Relational Mathematics. (Encyclopedia of Mathematics and its Applications, Vol. 132) June 2011 600 pp. (Cambridge) 9780521762687 13,460. 045 Todorcevic,S.:詳報掲載 Introduction to Ramsey Spaces. (Annals of Mathematics Studies, Vol. 174) July 2010 296 pp. (Princeton Univ.) 9780691145419 9,080.
注文方法/ボタンの目次へページトップへ
046 Todorcevic,S.:詳報掲載 Introduction to Ramsey Spaces. (Paper ed.) (Annals of Mathematics Studies, Vol. 174) July 2010 296 pp. (Princeton Univ.) 9780691145426 4,560.