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  et autres localisations(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

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  (1)
  3. Livres  (9)
  4. Revues  (1)
  5. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1994  (3)
  2. 1994 à 2000  (1)
  3. 2001 à 2005  (1)
  4. 2006 à 2011  (2)
  5. Après 2011  (6)
  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é