skip to main content
Langue :
Afficher les résultats avec :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recursive function theory and logic
Material Type:
Livre
Ajouter au Panier

Recursive function theory and logic

Yasuhara, Ann Harris (1932-2014)

Appartient à la collection : Computer science and applied mathematics, ISSN 0884-2027

New York. London. Academic Press, cop. 1971

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

The calculi of lambda-conversion

Church, Alonzo (1903-1995)

Appartient à la collection : Annals of mathematics studies, 6, ISSN 0066-2313

Princeton. Princeton university press. London. Humphrey Milford. Oxford university press, cop. 1941

Disponible(->>)

3
Techniques of Admissible Recursion Theory
Material Type:
ebook
Ajouter au Panier

Techniques of Admissible Recursion Theory

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

Lecture Notes in Mathematics ; 1106

Berlin [etc.]. Springer, 201. ?

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

  1. Livres  (2)
  2. ebooks  (1)
  3. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Yasuhara, Ann Harris
  2. Church, Alonzo
  3. Chong, Chi-Tat

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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