6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
What Mathematical Truth Could Not Be – II
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 27-52
-
- Chapter
- Export citation
David's Trick
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 67-72
-
- Chapter
- Export citation
Fields Definable in Simple Groups
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 377-388
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp i-iv
-
- Chapter
- Export citation
The Sheaf of Locally Definable Scalars over a Ring
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 339-352
-
- Chapter
- Export citation
Model Theory of Analytic and Smooth Functions
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 407-419
-
- Chapter
- Export citation
A Combinatory Algebra for Sequential Functionals of Finite Type
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 389-406
-
- Chapter
- Export citation
An Introduction To Finitary Analyses Of Proof Figures
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 1-26
-
- Chapter
- Export citation
Games of Countable Length
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 159-196
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp vii-x
-
- Chapter
- Export citation
Proof Search in Constructive Logics
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 53-66
-
- Chapter
- Export citation
What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 403-424
-
- Chapter
- Export citation
A Techniques Oriented Survey of Bounded Queries
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 117-156
-
- Chapter
- Export citation
A Survey on Canonical Bases in Simple Theories
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 241-254
-
- Chapter
- Export citation
An Iteration Model Violating the Singular Cardinals Hypothesis
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 95-102
-
- Chapter
- Export citation
Minimality Arguments for Infinite Time Turing Degrees
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 425-436
-
- Chapter
- Export citation
Human Styles of Quantificational Reasoning
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 353-366
-
- Chapter
- Export citation
Ordinal Systems
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 301-338
-
- Chapter
- Export citation
True Approximations and Models of Arithmetic
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 255-278
-
- Chapter
- Export citation