Skip to main content alibris logo

Computability Theory and Foundations of Mathematics

by

Computability Theory and Foundations of Mathematics - Ningning Peng, Kazuyuki Tanaka Yue Yang
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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.

loading
Currently there are no copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.