skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Techniques of Admissible Recursion Theory
Material Type:
Livre
Ajouter à Mon espace

Techniques of Admissible Recursion Theory

Chong, Chi-Tat

Berlin, Heidelberg : Springer-Verlag Springer e-books, 1984

Accessible en ligne

2
Material Type:
Versions multiples

Techniques of Admissible Recursion Theory

Chong, Chi-Tat (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

3
Recursion Theory : Computational Aspects of Definability
Recursion Theory : Computational Aspects of Definability
Material Type:
Livre
Ajouter à Mon espace

Recursion Theory : Computational Aspects of Definability

Chi Tat Chong ; Liang Yu

Berlin/Boston De Gruyter, 2015

Accessible en ligne

4
Material Type:
Versions multiples

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

Asian Logic Conference 11 2009 Singapore. ; Arai, Toshiyasu ; Chong, Chi-Tat (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

5
Techniques of admissible recursion theory
Material Type:
Livre
Ajouter à Mon espace

Techniques of admissible recursion theory

Chong, Chi-Tat

Berlin Heidelberg New York etc. : Springer, 1984

Disponible(Obtenir)

6
Computational Prospects of Infinity
Computational Prospects of Infinity
Computational Prospects of Infinity
Material Type:
Livre
Ajouter à Mon espace

Computational Prospects of Infinity

Workshop on Computational Prospects of Infinity ; Chi-Tat Chong; Chitat Chong; Qi Feng; Theodore A Slaman

World Scientific

Accessible en ligne

7
E-recursion, forcing and C*-algebras
Material Type:
Livre
Ajouter à Mon espace

E-recursion, forcing and C*-algebras

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A.

New Jersey N.J. London Singapore etc. : World Scientific, 2014

Voir les exemplaires(Obtenir)

8
Material Type:
Revue
Ajouter à Mon espace

Journal of mathematical logic

Slaman, Theodore A. ; Chong, Chi-Tat (1949-....) ; Woodin, W. Hugh

Singapore : World Scientific, 2001

Voir les exemplaires(Obtenir)

9
Material Type:
Versions multiples

Notes on forcing axioms

Todor̆cević, Stevo (1965-....) ; Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Yang, Yue (19..-....)

Plusieurs versions trouvées
Il y a 2 versions

10
Forcing, iterated ultrapowers, and Turing degrees
Material Type:
Livre
Ajouter à Mon espace

Forcing, iterated ultrapowers, and Turing degrees

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A ; Woodin, W. Hugh ; Yang, Yue (19..-....)

New Jersey : World Scientific, 2016

Disponible(Obtenir)

11
Material Type:
Versions multiples

Infinity and truth

Workshop on infinity and truth 2011 Singapour. ; Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A. ; Woodin, W. Hugh

Plusieurs versions trouvées
Il y a 2 versions

12
Material Type:
Article
Ajouter à Mon espace

The Fifth Asian Logic Conference: Singapore, June 14-17, 1993

Chong, Chi Tat

The Journal of Symbolic Logic, 1 June 1994, Vol.59(2), pp.730-732 [Revue évaluée par les pairs]

Texte intégral disponible

13
Material Type:
Article
Ajouter à Mon espace

Sinew acupuncture for knee osteoarthritis: study protocol for a randomized sham-controlled trial

Kwok Yin Au ; Haiyong Chen ; Wing Chung Lam ; Chiu On Chong ; Andrew Lau ; Varut Vardhanabhuti ; Kin Cheung Mak ; Fei Jiang ; Wing Yi Lam ; Fung Man Wu ; Hiu Ngok Chan ; Yan Wah Ng ; Bacon Fung-Leung Ng ; Eric Tat-Chi Ziea ; Lixing Lao

BMC Complementary and Alternative Medicine, 01 April 2018, Vol.18(1), pp.1-8 [Revue évaluée par les pairs]

Texte intégral disponible

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (2)
  2. Articles  (2)
  3. Livres  (9)
  4. Revues  (1)
  5. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 2001  (4)
  2. 2001 à 2010  (2)
  3. 2011 à 2013  (2)
  4. 2014 à 2016  (5)
  5. Après 2016  (1)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré