5570 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp i-iv
-
- Chapter
- Export citation
Maurice Boffa (1939–2001)
- from PHOTOGRAPHS
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 207-208
-
- Chapter
- Export citation
Bounded forcing axioms and the size of the continuum
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 211-227
-
- Chapter
- Export citation
Possible worlds semantics for predicates
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 20-41
-
- Chapter
- Export citation
Compactness and incompactness phenomena in set theory
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 139-150
-
- Chapter
- Export citation
Metamathematics of comparability
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 201-218
-
- Chapter
- Export citation
PHOTOGRAPHS
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp -
-
- Chapter
- Export citation
Interpreting arithmetic in the r.e. degrees under Σ4-induction
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 120-146
-
- Chapter
- Export citation
Groups in Simple Theories
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 440-467
-
- Chapter
- Export citation
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