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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 196 ● ISBN 9789811259302 ● Editor Wu Guohua Wu & Tanaka Kazuyuki Tanaka ● Editora World Scientific Publishing Company ● Publicado 2022 ● Carregável 3 vezes ● Moeda EUR ● ID 8649755 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM