本文に飛ぶ

年 〜
年

検索結果 13 件

Fields medallists' lectures : pbk 3rd ed

Fields medallists' lectures : pbk 3rd ed
紙図書
editors, Michael Atiyah, Daniel Iagolnitzer, Chitat ChongWorld Scientificc2016
全国の図書館
  • 著者標目Atiyah, Michael Francis Iagolnitzer, Daniel Chong, Chi-Tat

Recursion theory : computational aspects od definability

Recursion theory : computational aspects od definability
紙図書
Chi Tat Chong, Liang YuWalter de Gruyterc2015
全国の図書館
  • 著者標目Chong, Chi-Tat Yu, Liang

E-recursion, forcing and C*-algebras : [hardback] : pbk.

E-recursion, forcing and C*-algebras : [hardback] : pbk.
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • 著者標目Chong, Chi-Tat

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
紙図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
全国の図書館
  • 著者標目Chong, Chi-Tat Feng, Qi Slaman, T. A. (Theod...

Infinity and truth

Infinity and truth
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • 著者標目Chong, Chi-Tat Feng, Qi Slaman, T. A. (Theod...

Notes on forcing axioms

Notes on forcing axioms
紙図書
Stevo Todorcevic ; editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • 著者標目Todorcevic, Stevo Chong, Chi-Tat Feng, Qi Yang, Yue Slaman, T....

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
紙図書
edited by Toshiyasu Arai ... [et al.]World Scientificc2012
全国の図書館
  • 著者標目Asian Logic Conference Chong, Chi-Tat 新井, 敏康

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2008
全国の図書館
  • 著者標目Workshop on Computational Prospects of Infinity Chong, Chi-Tat

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
紙図書
editors, T. Arai ... [et al.]World Scientificc2010
全国の図書館
  • 著者標目... (Jörg) 桔梗, 宏孝 Chong, Chi-Tat Downey, R. G. (Rod G.) 冯, 琦 小...

Proceedings of the Sixth Asian Logic Conference, Beijing, China, 20-24 May 1996

Proceedings of the Sixth Asian Logic Conference, Beijing, China, 20-24 May 1996
紙図書
editors, C.T. Chong ... [et al.]World Scientific : Singapore University Pressc1998
全国の図書館
  • 著者標目Asian Logic Conference Chong, Chi-Tat

Techniques of admissible recursion theory : gw : us

Techniques of admissible recursion theory : gw : us
紙図書
C.T. ChongSpringer-Verlag1984
全国の図書館
  • 著者標目Chong, Chi-Tat

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (U.S.)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (U.S.)
紙図書
edited by C.-T. Chong and M.J. WicksNorth-Holland1983
全国の図書館
  • 著者標目Southeast Asian Conference on Logic (1981 : Singapore) Chong, Chi-Tat Wicks, M. J. (Malcolm John)

Tame Σ[2] functions in α-recursion theory

Tame Σ[2] functions in α-recursion theory
紙図書
by Chi Tat ChongUniversity Microfilmsc1973
全国の図書館
  • 著者標目Chong, Chi-Tat

検索結果は以上です。

RSS