Book News 517号
2. 数理論理・数学基礎
*043 Barcelo,H./Karaali,G./Orellana,R.(eds.):
Recent Trends in Algebraic Combinatorics.
(Association for Women in Mathematics Series, Vol. 16)
Feb. 2019 294 pp.
(Springer) 9783030051402 16,570.
044 Beck,M./Sanyal,R.:詳報掲載
Combinatorial Reciprocity Theory:
An Invitation to Enumerative Geometric Combinatorics.
(Graduate Studies in Mathematics, Vol. 195)
Dec. 2018 308 pp.
(A.M.S.) 9781470422004 12,520.
*045 Cresswell,M./Mares,E.:詳報掲載
Logical Modalities From Aristotle to Carnap:
The Story of Necessity.
Jan. 2019 364 pp.
(Cambridge) 9781107434905 4,960.
*046 Dalla Chiara,M.et al.:詳報掲載
Quantum Computation and Logic:
How Quantum Computers Have Inspired Logical Investigations.
(Trends in Logic, Vol. 48)
Jan. 2019 300 pp.
(Springer) 9783030044701 16,570.
047 Gassiat,E.:詳報掲載
Universal Coding and Order Identification by
Model Selection Methods.
(Springer Monographs in Mathematics)
Sep. 2018 131 pp.
(Springer) 9783319962610 21,450.
/注文方法/ボタンの / 目次へ / ページトップへ
048 Hibi Takayuki(ed.):
The 50th Anniversary of Grobner Bases.
(Advanced Studies in Pure Mathematics, Vol. 77)
Aug. 2018 432 pp.
(M.S.J.) 9784864970525 6,760.
049 Katz,M./Reimann,J.:詳報掲載
An Introduction to Ramsey Theory.
(Student Mathematical Library, Vol. 87)
Nov. 2018 207 pp.
(A.M.S.) 9781470442903 8,920.
*050 Kirby,J.:
An Invitation to Model Theory.
Apr. 2019 195 pp.
(Cambridge) 9781107163881 11,270.
*051 Mladenovic,P.:詳報掲載
Combinatorics: A Problem Based Approach.
(Problem Books in Mathematics)
Nov. 2018 354 pp.
(Springer) 9783030008307 10,720.
*052 Morris,S.:詳報掲載
Quine, New Foundations, and the Philosophy of Set Theory.
Dec. 2018 240 pp.
(Cambridge) 9781107152502 16,910.
/注文方法/ボタンの / 目次へ / ページトップへ
*053 Moschovakis,Y.:詳報掲載
Abstract Recursion and Intrinsic Complexity.
(Lecture Notes in Logic, Vol. 48)
Dec. 2018 283 pp.
(Cambridge) 9781108415583 21,420.
*054 Nguyen,H./Walker,C.:詳報掲載
A First Course in Fuzzy Logic.
(Textbooks in Mathematics)
Dec. 2018 448 pp.
(Chapman & Hall) 9781138585089 22,500.
*055 Posthoff,C./Steinbach,B.:
Logic Functions and Equations:
Binary Models for Computer Science.
Dec. 2018 540 pp.
(Springer) 9783030024192 31,200.
*056 Tarski,A.:
Tarski, Alfred: Collected Papers. 4 Vols. Set
June 2019 2796 pp.
(Birkhauser) 9783030055400 88,720.
*057 Tarski,A.:
Tarski, A: Collected Papers, Vol. 4: 1958-1979.
Nov. 2018 770 pp.
(Springer) 9783319954165 31,200.
/注文方法/ボタンの / 目次へ / ページトップへ
*058 Tarski,A.:
Tarski, A: Collected Papers, Vol. 3: 1945-1957.
Nov. 2018 694 pp.
(Springer) 9783319954226 25,350.
*059 Tarski,A.:
Tarski, A: Collected Papers, Vol. 2: 1935-1944.
Jan. 2019 700 pp.
(Birkhauser) 9783319954288 25,350.
*060 Tarski,A.:
Tarski, A: Collected Papers, Vol. 1: 1921-1934.
Nov. 2018 670 pp.
(Springer) 9783319953656 23,400.
*061 Verus Lawson,M.:詳報掲載
A First Course in Logic.
Oct. 2018 234 pp.
(C R C Press) 9780815386643 28,120.
*062 de Swart,H.:
Philosophical and Mathematical Logic.
(Springer Undergraduate Texts in Philosophy)
Dec. 2018 539 pp.
(Springer) 9783030032531 17,550.
/注文方法/ボタンの / 目次へ / ページトップへ