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.