Computability Theory and Foundations of Mathematics - Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathe (Hardcover) (ISBN-13: 9789811259289)

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.

Author: Ningning Peng
ISBN-10: 9811259283
ISBN-13: 9789811259289
Publisher: World Scientific Publishing Company
Language: English
Published: 06/28/2022
Pages: 196
Format: Hardcover
Weight: 0.95lbs
Size: 9.00h x 6.00w x 0.50d