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

Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics cover

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