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



*040  Ayala-Rincon,M./de Moura,F.:
       Applied Logic for Computer Scientists: 
        Computational Deduction and Formal Proofs. 
           (Undergraduate Topics in Computer Science)
             Mar. 2017	173 pp.
             (Springer)     9783319516516    8,320.
*041  Baskent,C./Moss,L.(eds.):
       Rohit Parikh on Logic, Language and Society.
             Mar. 2017	....
             (Springer)     9783319478425   18,500.
*042  Halmos,P.:
       Naive Set Theory. 		1960 Van Nostrand Reprint
           (Dover Books on Mathematics)
             Apr. 2017	112 pp.
             (Dover)        9780486814872    2,250.
*043  Kneusel,R.:
       Numbers and Computers, 2nd ed.
             Jan. 2017	....
             (Springer)     9783319505077   12,390.
*044  Soifer,A.:
       The Colorado Mathematical Olympiad: 
        The Third Decade and Further Explorations: 
         From the Mountains of 
          Colorado to the Peaks of Mathematics. 
             Mar. 2017	254 pp.
             (Springer)     9783319528595    8,320.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*045  Weintraub,S.:
       The Induction Book.
           (Aurora: Dover Modern Math Originals)
             May 2017	176 pp.
             (Dover)        9780486811994    4,330.