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.
/注文方法/ボタンの / 目次へ / ページトップへ