Book News 505号
2. 数理論理・数学基礎論
*025 Baldwin,J.:
Fundamentals of Stability Theory. 1988 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 12)
Feb. 2017 461 pp.
(Cambridge) 9781107168091 25,370.
*026 Barwise,J.:
Admissible Sets and Structures. 1976 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 7)
Feb. 2017 408 pp.
(Cambridge) 9781107168336 22,910.
*027 Barwise,J./Feferman,S.:
Model-Theoretic Logics. 1985 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 8)
Feb. 2017 911 pp.
(Cambridge) 9781107168251 28,640.
*028 Buechler,S.:
Essential Stability Theory. 1996 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 4)
Feb. 2017 367 pp.
(Cambridge) 9781107168398 22,910.
*029 Devlin,K.:
Constructibility. 1984 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 6)
Feb. 2017 437 pp.
(Cambridge) 9781107168350 22,910.
/注文方法/ボタンの / 目次へ / ページトップへ
*030 Fenstad,J.:
General Recursion Theory:
An Axiomatic Approach. 1989 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 10)
Feb. 2017 237 pp.
(Cambridge) 9781107168169 20,460.
*031 Font,J./Jansana,R.:
A General Algebraic Semantics for
Sentential Logics, 2nd ed. 1996 Springer Reprint
(Lecture Notes in Logic, Vol. 7)
Feb. 2017 ....
(Cambridge) 9781107167971 20,460.
*032 Gabbay,D./Schlechta,K.:
A New Perspective on Nonmonotonic Logics.
Nov. 2016 365 pp.
(Springer) 9783319468150 19,470.
*033 Hajek,P.:
Godel '96:
Logical Foundations of Mathematics,
Computer Science and Physics -Kurt Godel's Legacy. 1996 Springer Reprint
(Lecture Notes in Logic, Vol. 6)
Feb. 2017 ....
(Cambridge) 9781107168022 20,460.
*034 Hajek,P./Pudlak,P.:
Metamathematics of First-Order Arithmetic. 1993 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 3)
Feb. 2017 460 pp.
(Cambridge) 9781107168411 25,370.
/注文方法/ボタンの / 目次へ / ページトップへ
*035 Hinman,P.:
Recursion-Theoretic Hierarchies. 1978 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 9)
Feb. 2017 492 pp.
(Cambridge) 9781107168244 25,370.
*036 Larrazabal,J. et al.(eds.):
Logic Colloquium '96. 1999 Springer Reprint
(Lecture Notes in Logic, Vol. 12)
Feb. 2017 ....
(Cambridge) 9781107166080 20,460.
*037 Lerman,M.:
Degrees of Unsolvability:
Local and Global Theory. 1983 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 11)
Feb. 2017 307 pp.
(Cambridge) 9781107168138 20,460.
*038 Lindstrom,P.:
Aspects of Incompleteness. 1997 Springer Reprint
(Lecture Notes in Logic, Vol. 10)
Feb. 2017 ....
(Cambridge) 9781107167926 20,460.
*039 Makowsky,J./Ravve,E.(eds.):
Logic Colloquium '95. 1998 Springer Reprint
(Lecture Notes in Logic, Vol. 11)
Feb. 2017 ....
(Cambridge) 9781107167902 22,910.
/注文方法/ボタンの / 目次へ / ページトップへ
*040 Marker,D./Messmer,M./Pillay,A.:
Model Theory of Fields. 1996 Springer Reprint
(Lecture Notes in Logic, Vol. 5)
Feb. 2017 ....
(Cambridge) 9781107168077 20,460.
*041 Miller,A.:How to Prove
Descriptive Set Theory and Forcing:
Theorems About Borel Sets the Hard Way. 1995 Springer Reprint
(Lecture Notes in Logic, Vol. 4)
Feb. 2017 ....
(Cambridge) 9781107168060 20,460.
*042 Mitchell,W./Steel,J.:
Fine Structure and Iteration Trees. 1994 Springer Reprint
(Lecture Notes in Logic, Vol. 3)
Feb. 2017 ....
(Cambridge) 9781107169098 20,460.
*043 Oikkonen,J./Vananen,J.:
Logic Colloquium '90. 1993 Springer Reprint
(Lecture Notes in Logic, Vol. 2)
Feb. 2017 ....
(Cambridge) 9781107169029 20,460.
*044 Omodeo,E./Policriti,A.(eds.):
Martin Davis on Computability,
Computational Logic, and Mathematical Foundations.
(Outstanding Contributions to Logic, Vol. 10)
Dec. 2016 428 pp.
(Springer) 9783319418414 20,350.
/注文方法/ボタンの / 目次へ / ページトップへ
*045 Otto,M.:
Bounded Variable Logics and Counting:
A Study in Finite Models. 1997 Springer Reprint
(Lecture Notes in Logic, Vol. 9)
Feb. 2017 ....
(Cambridge) 9781107167940 20,460.
*046 Pour-El,M./Richards,I.:
Computability in Analysis and Physics.
1984 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 1)
Feb. 2017 218 pp.
(Cambridge) 9781107168442 20,460.
*047 Sandori,P.:
The Logic of Machines and Structures.
1982 Wiley Reprint
Sep. 2016 192 pp.
(Dover) 9780486807003 3,260.
*048 Shelah,S.:
Proper and Improper Forcing, 2nd ed.
1998 Springer Reprint
(Perspectives in Mathematical Logic, Vol. 5)
Feb. 2017 1068 pp.
(Cambridge) 9781107168367 28,640.
*049 Shoenfield,J.:
Recursion Theory. 1993 Springer Reprint
(Lecture Notes in Logic, Vol. 1)
Jan. 2017 ....
(Cambridge) 9781107168084 20,460.
/注文方法/ボタンの / 目次へ / ページトップへ
*050 Steel,J.:
The Core Model Iterability Problem. 1996 Springer Reprint
(Lecture Notes in Logic, Vol. 8)
Feb. 2017 ....
(Cambridge) 9781107167964 20,460.
051 Williamson,J.:詳報掲載
Lectures on Inductive Logic.
Dec. 2016 220 pp.
(Oxford) 9780199666478 10,160.