4059 results in Logic
References
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 125-129
-
- Chapter
- Export citation
Index
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 153-154
-
- Chapter
- Export citation
The Number of Path-Components of a Compact Subset of Rn
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-16
-
- Chapter
- Export citation
7 - Canonization for Two Variables
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 149-176
-
- Chapter
- Export citation
CHAPTER 6 - Interpretability
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 75-93
-
- Chapter
- Export citation
Complete Sets and Structure in Subrecursive Classes
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 45-78
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
6 - An inductive definition of K
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 43-52
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
III. - Differential Algebraic Groups and the Number of Countable Differentially Closed Fields
-
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 114-134
-
- Chapter
- Export citation
Contents
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter 4 - Abstract Logics as Models of Gentzen Systems
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 75-104
-
- Chapter
- Export citation
Index of definitions
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 111-112
-
- Chapter
- Export citation
CHAPTER 2 - Incompleteness
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 23-41
-
- Chapter
- Export citation
Contents
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
7 - Some applications
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 53-72
-
- Chapter
- Export citation
Computationally-Sound Proofs
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 214-268
-
- Chapter
- Export citation
Accessible Segments of the Fast Growing Hierarchy
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 339-348
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/67940/cover/9781107167940.jpg)
Bounded Variable Logics and Counting
- A Study in Finite Models
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017