Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Liang Yu editor Yue Yang editor Guohua Wu editor Ningning Peng editor Kazuyuki Tanaka editor
Format:Hardback
Publisher:World Scientific Publishing Co Pte Ltd
Published:28th Jun '22
Currently unavailable, and unfortunately no date known when it will be back
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.
ISBN: 9789811259289
Dimensions: unknown
Weight: unknown
196 pages