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
2009712 kr
Proceedings Of The Sixth Asian Logic Conference
AvDing Decheng Ding,Huang Qieyuan Huang
E-bok
PDF, Engelska, 19981 009 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
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
2008872 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
2013371 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
2015445 kr
Infinity And Truth
Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong
E-bok
2013327 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
2014223 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
2014267 kr
Proceedings Of The 7th And 8th Asian Logic Conferences
Yasugi Mariko Yasugi, Qiu Yu Hui Qiu, Tung Shih Ping Tung, Ding Decheng Ding, Downey Rodney G Downey
E-bok
2003861 kr
Computational Prospects Of Infinity - Part I: Tutorials
Yang Yue Yang, Woodin W Hugh Woodin, Slaman Theodore A Slaman, Feng Qi Feng, Chong Chitat Chong
E-bok
2008712 kr