Recursively enumerable sets and degrees : a study of computable functions and computably generated sets (engelsk)

Admissible sets and structures : an approach to definability theory

Jon Barwise

Recursion-theoretic hierarchies

Peter G. Hinman

Basic set theory

Azriel Levy

General recursion theory : an axiomatic approach

Jens Erik Fenstad

Degrees of unsolvability : local and global theory

Manuel Lerman (1943-)

Constructibility

Keith J. Devlin (1947-)

Constructibility

Keith J. Bevlin

Model-theoretic logics

Jon Barwise

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Robert Irving Soare (1940-)

Computability in analysis and physics

Marian B. Pour-El (1928-)

Higher recursion theory

Gerald E. Sacks

Essential stability theory

Steven Buechler (1955-)

The classical decision problem

Egon Börger (1946-)

Metamathematics of First-Order Arithmetic

Petr Hájek

Finite model theory

Heinz-Dieter Ebbinghaus

Subsystems of second order arithmetic

Stephen G. Simpson (1945-)