4059 results in Logic
Frontmatter
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Free monoid completeness of the Lambek calculus allowing empty premises
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 171-210
-
- Chapter
- Export citation
On “star” schemata of Kossak and Paris
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 101-114
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Beyond Gödel's Theorem: Turing Nonrigidity Revisited
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 44-50
-
- Chapter
- Export citation
Introduction
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 1-14
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/66080/cover/9781107166080.jpg)
Logic Colloquium '96
- Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Kernels and cohomology groups for some finite covers
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-100
-
- Chapter
- Export citation
CHAPTER 1 - Preliminaries
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-22
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/67964/cover/9781107167964.jpg)
The Core Model Iterability Problem
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
6 - Canonization Problems
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 131-148
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Noninterpretability of Infinite Linear Orders
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 73-78
-
- Chapter
- Export citation
2 - The Games and Their Analysis
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 51-78
-
- Chapter
- Export citation
CHAPTER 8 - Generalizations
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 119-124
-
- Chapter
- Export citation
There May Be No Nowhere Dense Ultrafilter
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 305-324
-
- Chapter
- Export citation
Chapter 5 - Applications to Particular Sentential Logics
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 105-130
-
- Chapter
- Export citation
The Higher Infinite in Proof Theory
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 275-304
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/67926/cover/9781107167926.jpg)
Aspects of Incompleteness
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
9 - A general iterability theorem
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 89-108
-
- Chapter
- Export citation