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

AvYu Liang Yu,Wu Guohua Wu

E-bok
PDF, Engelska, 2022

890 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Todorcevic Stevo Todorcevic, Yang Yue Yang, Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong - Notes On Forcing Axioms, E-bok

Notes On Forcing Axioms

Todorcevic Stevo Todorcevic, Yang Yue Yang, Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong

E-bok
2013

371 kr

Yang Yue Yang, Raghavan Dilip Raghavan, Friedman Sy-david Friedman - Sets And Computations, E-bok

Sets And Computations

Yang Yue Yang, Raghavan Dilip Raghavan, Friedman Sy-david Friedman

E-bok
2017

1 128 kr