Perspective in Logics, Lecture Notes in Logic 無料化

logic

id:nuhsnuh さん経由。知っている人は知っている話でしょうが。
ASLで編集され、Springerから出版されていた　”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は

  1. Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989)
  2. Higher Recursion Theory; Gerald E. Sacks (1990)
  3. Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998)
  4. Essential Stability Theory; Steven Buechler (1996)
  5. Proper and Improper Forcing; Saharon Shelah (1998)
  6. Constructibility; Keith J. Devlin (1984)
  7. Admissible Sets and Structures: An Approach to Definability Theory; Jon Barwise (1975)
  8. Model-Theoretic Logics; J. Barwise, S. Feferman, eds. (1985)
  9. Recursion-Theoretic Hierarchies; Peter G. Hinman (1978)
  10. General Recursion Theory: An Axiomatic Approach; Jens E. Fenstad (1980)
  11. Degrees of Unsolvability: Local and Global Theory; Manuel Lerman (1983)
  12. Fundamentals of Stability Theory; John T. Baldwin (1988)

私の一押しはもちろん 3です（もってますけれど）。
ついでに、Lecture Notes in logic まで無料化されていました。ページはこちら。

  1. Recursion Theory; J. R. Shoenfield (1993)
  2. Logic Colloquium '90: ASL Summer Meeting in Helsinki; J. Oikkonen, J. Väänänen, eds. (1993)
  3. Fine Structure and Iteration Trees; William J. Mitchell, John R. Steel (1994)
  4. Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way; Arnold W. Miller (1995)
  5. Model Theory of Fields; D. Marker, M. Messmer, A. Pillay (1996)
  6. Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings; Petr Hájek, ed. (1996)
  7. A General Algebraic Semantics for Sentential Logics; Josep Maria Font, Ramon Jansana (2009)
  8. The Core Model Iterability Problem; John R. Steel (1996)
  9. Bounded Variable Logics and Counting: A Study in Finite Models; Martin Otto (1997)
  10. Aspects of Incompleteness; Per Lindström (1997)
  11. Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995; Johann A. Makowsky, Elena V. Ravve, eds. (1998)
  12. Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996; J. M. Larrazabal, D. Lascar, G. Mints, eds. (1998)

学生の頃、1を読んだ記憶があります。また読もうかな。