5570 results in Programming Languages and Applied Logic
CHAPTER 16 - OTHER HENSELIAN FIELDS
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 171-176
-
- Chapter
- Export citation
Hausdorff-dimension and weak truth-table reducibility
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 157-167
-
- Chapter
- Export citation
CHAPTER 11 - OPACITY AND PRIME RESOLUTIONS
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp 115-122
-
- Chapter
- Export citation
Contents
-
- Book:
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Published online:
- 18 December 2009
- Print publication:
- 10 December 2007, pp vii-viii
-
- Chapter
- Export citation
Introduction
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp ix-x
-
- Chapter
- Export citation
Universes in type theory part I—Inaccessibles and Mahlo
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 123-156
-
- Chapter
- Export citation
Logic Colloquium 2004
-
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007
Paul Bernays' later philosophy of mathematics
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 129-150
-
- Chapter
- Export citation
Covering definable manifolds by open definable subsets
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 18-25
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp vii-viii
-
- Chapter
- Export citation
Proof analysis in non-classical logics
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 107-128
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp i-vi
-
- Chapter
- Export citation
Logic Colloquium 2005
-
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007
Monotone inductive definitions and consistency of New Foundations
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 255-272
-
- Chapter
- Export citation
Towards a logic of type-free modality and truth
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 68-84
-
- Chapter
- Export citation
Structural analysis of Aronszajn trees
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 85-106
-
- Chapter
- Export citation
Simple groups of finite Morley rank
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 57-67
-
- Chapter
- Export citation
Independence for types in algebraically closed valued fields
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 46-56
-
- Chapter
- Export citation
LECTURE NOTES IN LOGIC
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 273-274
-
- Chapter
- Export citation
A transactional approach to the logic of truth
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 202-220
-
- Chapter
- Export citation