17 results in Perspectives in Logic

Computable Structure Theory
- Within the Arithmetic
-
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021

Proper and Improper Forcing
-
- Published online:
- 06 April 2017
- Print publication:
- 23 March 2017

Fundamentals of Stability Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

Degrees of Unsolvability
- Local and Global Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017

Model-Theoretic Logics
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

Essential Stability Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

Recursion-Theoretic Hierarchies
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

General Recursion Theory
- An Axiomatic Approach
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

Admissible Sets and Structures
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017

Constructibility
-
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017

Higher Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017

Computability in Analysis and Physics
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017

Metamathematics of First-Order Arithmetic
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017

Pure Inductive Logic
-
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015

Lambda Calculus with Types
-
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013

Proofs and Computations
-
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011

Subsystems of Second Order Arithmetic
-
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009