5570 results in Programming Languages and Applied Logic
INDEX
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 261-268
-
- Chapter
- Export citation
CHAPTER 2 - THE BARCAN FORMULAS
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 67-102
-
- Chapter
- Export citation
CHAPTER 6 - COVER SEMANTICS FOR RELEVANT LOGIC
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 203-250
-
- Chapter
- Export citation
CHAPTER 1 - LOGICS WITH ACTUALIST QUANTIFIERS
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 1-66
-
- Chapter
- Export citation
CHAPTER 14 - MORE RANKS
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 93-100
-
- Chapter
- Export citation
CHAPTER 4 - FORKING
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 25-30
-
- Chapter
- Export citation
CHAPTER 2 - φ-TYPES, STABILITY, AND SIMPLICITY
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 11-18
-
- Chapter
- Export citation
Contents
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp ix-x
-
- Chapter
- Export citation
CHAPTER 12 - ABSTRACT INDEPENDENCE RELATIONS
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 75-84
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp xi-xiv
-
- Chapter
- Export citation
CHAPTER 7 - HEIRS AND COHEIRS
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 43-46
-
- Chapter
- Export citation
CHAPTER 6 - THE LOCAL RANK CBΔ(π)
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 37-42
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 163-166
-
- Chapter
- Export citation
CHAPTER 1 - PRELIMINARIES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 1-10
-
- Chapter
- Export citation
CHAPTER 13 - SUPERSIMPLE THEORIES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 85-92
-
- Chapter
- Export citation
CHAPTER 11 - CANONICAL BASES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 69-74
-
- Chapter
- Export citation
CHAPTER 20 - HYPERIMAGINARIES IN SUPERSIMPLE THEORIES
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 153-162
-
- Chapter
- Export citation
CHAPTER 8 - STABLE FORKING
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 47-52
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp i-viii
-
- Chapter
- Export citation
CHAPTER 16 - HYPERIMAGINARY FORKING
-
- Book:
- Simple Theories and Hyperimaginaries
- Published online:
- 05 March 2012
- Print publication:
- 30 June 2011, pp 109-120
-
- Chapter
- Export citation