E-Recursion, Forcing and C*-Algebras Chitat Chong, Qi Feng, Theodore A Slaman, W. Hugh Woodin & Yue Yang의 도서 더 보기

Infinity And Truth

2013년

Forcing, Iterated Ultrapowers, And Turing Degrees

2015년

Notes On Forcing Axioms

2013년

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

2014년