Search

Your search keyword '"Liang Yu"' showing total 1 results
Start Over Author "Liang Yu" Category mathematics / discrete mathematics

Refine your results

1 results on '"Liang Yu"'

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

Author

Ningning Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu, Liang Yu, Ningning Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu, and Liang Yu

Subjects
Computer science--Mathematics--Congresses, Computable functions--Congresses
Abstract

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.

Published
2022

Catalog

Books, media, physical & digital resources
See catalog results