Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
E-bok
PDF, Engelska, 2022897 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
Computational Prospects Of Infinity - Part Ii: Presented Talks
Wu Guohua Wu, Terwijn Sebastian A Terwijn, Yang Yue Yang, Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong
E-bok
2008888 kr
Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
Feng Qi Feng, Wu Guohua Wu, Yang Yue Yang, Arai Toshiyasu Arai, Kim Byunghan Kim
E-bok
2011539 kr
Proceedings Of The 13th Asian Logic Conference
Yu Liang Yu, Kim Byunghan Kim, Feng Qi Feng, Zhao Xishun Zhao
E-bok
2015592 kr
Proceedings Of The 14th And 15th Asian Logic Conferences
Yu Liang Yu, Tsuboi Akito Tsuboi, Srivastava Shashi M Srivastava, Ramanujam R Ramanujam, Liu Fenrong Liu, Lee Gyesik Lee, Brendle Jorg Brendle, Kim Byunghan Kim
E-bok
20191 228 kr
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
2013374 kr
Forcing, Iterated Ultrapowers, And Turing Degrees
Feng Qi Feng, Yang Yue Yang, Slaman Theodore A Slaman, Woodin W Hugh Woodin, Chong Chitat Chong
E-bok
2015444 kr
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
Hirschfeldt Denis R Hirschfeldt, Woodin W Hugh Woodin, Slaman Theodore A Slaman, Yang Yue Yang, Feng Qi Feng, Chong Chitat Chong
E-bok
2014225 kr
E-recursion, Forcing And C*-algebras
Woodin W Hugh Woodin, Slaman Theodore A Slaman, Yang Yue Yang, Feng Qi Feng, Chong Chitat Chong
E-bok
2014270 kr
Sets And Computations
Yang Yue Yang, Raghavan Dilip Raghavan, Friedman Sy-david Friedman
E-bok
20171 136 kr