4059 results in Logic
SURVEY ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-2
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97813167/55921/cover/9781316755921.jpg)
Logic Colloquium '99
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
10 - Elementary and classical analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 175-186
-
- Chapter
- Export citation
14 - Iterated reflection
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 241-264
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-14
-
- Chapter
- Export citation
7 - Formal languages and the definition of truth
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 105-118
-
- Chapter
- Export citation
RESEARCH ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 49-50
-
- Chapter
- Export citation
On solvable groups and rings definable in o-minimal structures
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 60-67
-
- Chapter
- Export citation
4 - The language of arithmetic
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 53-72
-
- Chapter
- Export citation
Aspects of geometricmodel theory
- from SURVEY ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 30-48
-
- Chapter
- Export citation
5 - The language of analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 73-86
-
- Chapter
- Export citation
A description of the non-sequential execution of Petri nets in partially commutative linear logic
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 152-181
-
- Chapter
- Export citation
The intuitionistic arithmetical hierarchy
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 51-59
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97813167/55969/cover/9781316755969.jpg)
Inexhaustibility
- A Non-Exhaustive Treatment
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
Frontmatter
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp i-iv
-
- Chapter
- Export citation
From bounded structural rules to linear logic modalities
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 143-151
-
- Chapter
- Export citation
References
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 293-296
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp vii-viii
-
- Chapter
- Export citation
Valued fields and elimination of imaginaries
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 80-88
-
- Chapter
- Export citation
Group actions and countable models
- from SURVEY ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 3-29
-
- Chapter
- Export citation