Overview
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: Kazuyuki Tanaka|NingNing Peng|Yue Yang
- | Publisher: WSPC
- | Publication Date: Jun 28, 2022
- | Number of Pages: 194 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 9811259283
- | ISBN-13: 9789811259289
