This volume features the latest scientific developments in the
fields of computability theory and logical foundations of
mathematics as well as applications. The scope involves the topics
of Computability Theory, Reverse Mathematics, Nonstandard Analysis,
Proof Theory, Set Theory, Philosophy of Mathematics, Constructive
Mathematics, Theory of Randomness and Computational Complexity
Theory.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!