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

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.

Product details

• Authors: Kazuyuki Tanaka Yue Yang Ningning Peng
• Assisted by: Kazuyuki Tanaka (Editor), NingNing Peng (Editor), Ningning Peng (Editor), Kazuyuki Tanaka (Editor), Guohua Wu (Editor), Wu Guohua (Editor), Yue Yang (Editor), Yang Yue (Editor), Liang Yu (Editor), Yu Liang (Editor), Yue Yang (Editor)
• Publisher: Ingram Publishers Services
• Languages: English
• Product format: Hardback
• Released: 30.06.2022
• EAN: 9789811259289
• ISBN: 978-981-1259-28-9
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; MATHEMATICS / Discrete Mathematics, Discrete Mathematics