4059 results in Logic
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
The Notre Dame Lectures
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005
Selection for Borel relations
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 151-169
-
- Chapter
- Export citation
Tameness in expansions of the real field
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 281-316
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp i-iv
-
- Chapter
- Export citation
ARTICLES
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 87-88
-
- Chapter
- Export citation
PART 3 - PRACTICE AND PERSPECTIVE
-
- Book:
- Acceptable Premises
- Published online:
- 02 December 2009
- Print publication:
- 20 December 2004, pp 317-318
-
- Chapter
- Export citation
10 - Taking One's Word: The Interpersonal Belief-Generating Mechanism
-
- Book:
- Acceptable Premises
- Published online:
- 02 December 2009
- Print publication:
- 20 December 2004, pp 281-316
-
- Chapter
- Export citation
References
-
- Book:
- Acceptable Premises
- Published online:
- 02 December 2009
- Print publication:
- 20 December 2004, pp 389-394
-
- Chapter
- Export citation
8 - Interpretations and Their Modes of Intuition
-
- Book:
- Acceptable Premises
- Published online:
- 02 December 2009
- Print publication:
- 20 December 2004, pp 143-217
-
- Chapter
- Export citation