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


*037 Andrews,G./Krattenthaler,C./Krinik,A.(eds.):詳報掲載 Lattice Path Combinatorics and Applications. (Developments in Mathematics, Vol. 58) Mar. 2019 411 pp. (Springer) 9783030111014 18,900. *038 Artemov,S./Fitting,M.:詳報掲載 Justification Logic: Reasoning with Reasons. (Cambridge Tracts in Mathematics, Vol. 217) June 2019 267 pp. (Cambridge) 9781108424912 20,630. *039 Bimbo,K.: Mathematical Logic. (Textbooks in Mathematics) July 2019 272 pp. (Chapman & Hall) 9781498744133 12,580. *040 Diaz Cardell,S./Fuster-Sabater,A.:詳報掲載 Cryptography with Shrinking Generators: Fundamentals and Applications of Keystream Sequence Generators Based on Irregular Decimation. (SpringerBriefs in Mathematics) Apr. 2019 106 pp. (Springer) 9783030128494 9,450. *041 Esakia,L./Bezhanishvili,G./Holliday,W.(eds.):詳報掲載 Heyting Algebras: Duality Theory. (Trends in Logic, Vol. 50) Mar. 2019 93 pp. (Springer) 9783030120955 14,170.
注文方法/ボタンの目次へページトップへ
*042 Halmos,P./Givant,S.:詳報掲載 Logic As Algebra. 1998 MAA Printing (The DOLCIANI Mathematical Expositions, Vol. **) Dec. 2018 141 pp. (M.A.A.) 9781470451134 5,440. 043 Katz,M./Reimann,J.:詳報掲載 An Introduction to Ramsey Theory. (Student Mathematical Library, Vol. 87) Nov. 2018 207 pp. (A.M.S.) 9781470442903 8,580. *044 Nicholson,N.:詳報掲載 A Transition to Proof: An Introduction to Advanced Mathematics. Apr. 2019 450 pp. (Chapman & Hall) 9780367201579 16,270. 045 Moschovakis,Y.:詳報掲載 Abstract Recursion and Intrinsic Complexity. (Lecture Notes in Logic, Vol. 48) Dec. 2018 283 pp. (Cambridge) 9781108415583 20,630. *046 Wallach,W./Allen,C.: Moral Machines: Teaching Robotts Right From Wrong. (Hardback ed.) 2009 Nov. 2018 288 pp. (Oxford/USA) 9780195374049 7,050.
注文方法/ボタンの目次へページトップへ