Project Euclid - mathematics and statistics resources online

12 – Fundamentals of Stability Theory; John T. Baldwin (1988)

11 – Degrees of Unsolvability: Local and Global Theory; Manuel Lerman (1983)

10 – General Recursion Theory: An Axiomatic Approach; Jens E. Fenstad (1980)

9 – Recursion-Theoretic Hierarchies; Peter G. Hinman (1978)

8 – Model-Theoretic Logics; J. Barwise, S. Feferman, eds. (1985)

7 – Admissible Sets and Structures: An Approach to Definability Theory; Jon Barwise (1975)

6 – Constructibility; Keith J. Devlin (1984)

5 – Proper and Improper Forcing; Saharon Shelah (1998)

4 – Essential Stability Theory; Steven Buechler (1996)

3 – Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998)

2 – Higher Recursion Theory; Gerald E. Sacks (1990)

1 – Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989)

Perspectives in Logic

ASL PiL Home

Perspectives in Logic