17 results in Perspectives in Logic
![](https://assets.cambridge.org/97811084/23298/cover/9781108423298.jpg)
Computable Structure Theory
- Within the Arithmetic
-
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021
![](https://assets.cambridge.org/97811071/68138/cover/9781107168138.jpg)
Degrees of Unsolvability
- Local and Global Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017
![](https://assets.cambridge.org/97811071/68367/cover/9781107168367.jpg)
Proper and Improper Forcing
-
- Published online:
- 06 April 2017
- Print publication:
- 23 March 2017
![](https://assets.cambridge.org/97811071/68350/cover/9781107168350.jpg)
Constructibility
-
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017
![](https://assets.cambridge.org/97811071/68169/cover/9781107168169.jpg)
General Recursion Theory
- An Axiomatic Approach
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68442/cover/9781107168442.jpg)
Computability in Analysis and Physics
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68336/cover/9781107168336.jpg)
Admissible Sets and Structures
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68251/cover/9781107168251.jpg)
Model-Theoretic Logics
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68091/cover/9781107168091.jpg)
Fundamentals of Stability Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68244/cover/9781107168244.jpg)
Recursion-Theoretic Hierarchies
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68411/cover/9781107168411.jpg)
Metamathematics of First-Order Arithmetic
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68435/cover/9781107168435.jpg)
Higher Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811071/68398/cover/9781107168398.jpg)
Essential Stability Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
![](https://assets.cambridge.org/97811070/42308/cover/9781107042308.jpg)
Pure Inductive Logic
-
- Published online:
- 05 May 2015
- Print publication:
- 02 April 2015
![](https://assets.cambridge.org/97805217/66142/cover/9780521766142.jpg)
Lambda Calculus with Types
-
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013
![](https://assets.cambridge.org/97805215/17690/cover/9780521517690.jpg)
Proofs and Computations
-
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011
![](https://assets.cambridge.org/97805218/84396/cover/9780521884396.jpg)
Subsystems of Second Order Arithmetic
-
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009