Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Regular price
€102.99
14 days return policy
Shipping & Delivery
A
Analysis of Algorithms
Au-Arithmetic
Au-Calculus
Axiomatic System
Bounded Arithmetic
Cardinal
Category=PBD
Computability
Computational Complexity
Degree
Difference Hierarchy
Effective Dimension
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Forcing
Gale-Stewart Games
GaleAcAEURA"Stewart Games
Game Trees
Ideal
Independent Distribution
Inductive Definitions
Mathematical Logic
Parity Games
Philosophical Logic
Quasi Solovay Reducibility
Rate of Convergence
Recursion Theory
Reverse Mathematics
Set Theory
Solovay Reducibility
Transfinite Recursion
u-Arithmetic
u-Calculus
Product details
- ISBN 9789811259289
- Publication Date: 28 Jun 2022
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
