4059 results in Logic
Loeb space methods for stochastic Navier-Stokes equations
- from APPLIED MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 195-223
-
- Chapter
- Export citation
Bisimulation invariance and finite models
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 276-298
-
- Chapter
- Export citation
Consistency and games— in search of new combinatorial principles
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 244-281
-
- Chapter
- Export citation
Real closed fields and IP-sensitivity
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 1-22
-
- Chapter
- Export citation
Indestructibility and strong compactness
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 27-37
-
- Chapter
- Export citation
Nonstandard analysis at pre-university level: Naive magnitude analysis
- from TEACHING
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 235-248
-
- Chapter
- Export citation
Abstract versus concrete computability: the case of countable algebras
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 377-408
-
- Chapter
- Export citation
Martin-Löf random and PA-complete sets
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 342-348
-
- Chapter
- Export citation
APPLIED MATHEMATICS
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 193-194
-
- Chapter
- Export citation
Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp ix-x
-
- Chapter
- Export citation
Generalised dynamic ordinals — universal measures for implicit computational complexity
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 48-74
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Categoricity and quantifier elimination for intuitionistic theories
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 23-41
-
- Chapter
- Export citation
Has the continuumhypothesis been settled?
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 56-75
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805218/57895/cover/9780521857895.jpg)
Mainstream and Formal Epistemology
-
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005
9 - ‘Plethoric’ Epistemology
-
- Book:
- Mainstream and Formal Epistemology
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005, pp 151-166
-
- Chapter
- Export citation
Contents
-
- Book:
- Mainstream and Formal Epistemology
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005, pp vii-viii
-
- Chapter
- Export citation
7 - Computational Epistemology
-
- Book:
- Mainstream and Formal Epistemology
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005, pp 115-129
-
- Chapter
- Export citation
6 - Logical Epistemology
-
- Book:
- Mainstream and Formal Epistemology
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005, pp 80-114
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Mainstream and Formal Epistemology
- Published online:
- 07 December 2009
- Print publication:
- 19 December 2005, pp xi-xii
-
- Chapter
- Export citation