- Nyhet
Proceedings Of The Sixth Asian Logic Conference
AvDing Decheng Ding,Huang Qieyuan Huang
E-bok
PDF, Engelska, 19981 017 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 collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Proceedings Of The 10th Asian Logic Conference
Brendle Jorg Brendle, Arai Toshiyasu Arai, Ono Hiroakira Ono, Kikyo Hirotaka Kikyo, Feng Qi Feng, Downey Rodney G Downey, Chong Chitat Chong
E-bok
2009718 kr
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
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
Infinity And Truth
Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong
E-bok
2013329 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
Shadows Of The Circle: Conic Sections, Optimal Figures And Non-euclidean Geometry
Hansen Vagn Lundsgaard Hansen
E-bok
1998222 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