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


*051 Abramsky,S. et al.(eds.):詳報掲載 Dependence Logic: Theory and Applications. June 2016 265 pp. (Birkhauser) 9783319318011 18,140. *052 Bimbo,K.(ed.): J. Michael Dunn on Information Based Logics. (Outstanding Contributions to Logic, Vol. 8) Mar. 2016 436 pp. (Springer) 9783319292984 21,960. 053 Chubb,J./Eskandarian,A./Harizanov,V.(eds.):詳報掲載 Logic and Algebraic Structures in Quantum Computing. (Lecture Notes in Logic, Vol. 45) Feb. 2016 .... (Cambridge) 9781107033399 23,940. *054 Hein,J.: Discrete Structures, Logic, and Computability, 4th ed. Dec. 2015 1040 pp. (J & B) 9781284070408 36,240. 055 Iovino,J.: Beyond First Order Model Theory. (Monographs and Research Notes in Mathematics) Nov. 2016 504 pp. (C R C Press) 9781498753975 15,800.
注文方法/ボタンの目次へページトップへ
*056 Ju,S./Lowe,B./Xie,Y./Muller,Th.(eds.): Cultures of Mathematics and Logic: Selected Papers From the Conference in Guangzhou, 2012. (Trends in the History of Science) May 2016 .... (Birkhauser) 9783319315003 22,920. 057 Kahle,R./Strahm,T./Studer,T.(eds.): Advances in Proof Theory. (Progress in Computer Science and Applied Logic, Vol. 28) May 2016 .... (Birkhauser) 9783319291963 16,230. *058 Kane,J.: Writing Proofs in Analysis. May 2016 344 pp. (Springer) 9783319309651 10,120. *059 Schroder,B.:詳報掲載 Ordered Sets: An Introduction with Connections From Combinatorics to Topology, 2nd ed. Apr. 2016 392 pp. (Birkhauser) 9783319297866 12,790. *060 Smullyan,R.: A Beginner's Further Guide to Mathematical Logic. May 2016 350 pp. (World Sci.) 9789814730990 9,920.
注文方法/ボタンの目次へページトップへ
*061 Smullyan,R.: A Beginner's Further Guide to Mathematical Logic. (Paper ed.) June 2016 350 pp. (World Sci.) 9789814725729 4,100.