5570 results in Programming Languages and Applied Logic
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
Intensionality
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005
Logic Colloquium '01
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005
Reverse Mathematics 2001
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005
K. Jon Barwise (1942-2000)
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp xi-xii
-
- Chapter
- Export citation
Model theory and geometry
- from TUTORIALS
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 3-31
-
- Chapter
- Export citation
Π01 sets and models of WKL0
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 352-378
-
- Chapter
- Export citation
Index for Countablemodels and the theory of Borel equivalence relations
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 43-44
-
- Chapter
- Export citation
Logicism Renewed
- Logical Foundations for Mathematics and Computer Science
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005
Interpolation in goal-directed proof systems 1
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 170-216
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp i-iv
-
- Chapter
- Export citation
Psychology looks hopefully to logic
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 323-334
-
- Chapter
- Export citation
Resolution theorem proving: a logical point of view
- from TUTORIALS
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 3-42
-
- Chapter
- Export citation