4059 results in Logic
References
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 215-224
-
- Chapter
- Export citation
Chapter 1 - Elementary Logic
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 1-42
-
- Chapter
- Export citation
Effective Hausdorff dimension
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 369-385
-
- Chapter
- Export citation
Chapter 3 - An Intensional Type Theory
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 71-98
-
- Chapter
- Export citation
Maximal nonfinitely generated subalgebras
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 189-200
-
- Chapter
- Export citation
Moschovakis's notion of meaning as applied to linguistics
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 255-280
-
- Chapter
- Export citation
Mutual stationarity in the coremodel
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 386-401
-
- Chapter
- Export citation
Liouville functions
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 383-391
-
- Chapter
- Export citation
Manipulating the reals in RCA0
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 379-393
-
- Chapter
- Export citation
Reversemathematics and ordinal suprema
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 235-243
-
- Chapter
- Export citation
Intension, intention
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 174-186
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp vii-viii
-
- Chapter
- Export citation
Model theory of difference fields
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 45-94
-
- Chapter
- Export citation
Possible m-diagrams ofmodels of arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 1-18
-
- Chapter
- Export citation
Higher order reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 281-295
-
- Chapter
- Export citation
A note on compactness of countable sets
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 219-221
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp i-iv
-
- Chapter
- Export citation
Reverse mathematics and weak systems of 0-1 strings for feasible analysis
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 394-401
-
- Chapter
- Export citation
Did Cantor need set theory?
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 244-270
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97813167/55822/cover/9781316755822.jpg)
Intensionality
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005