skip to main content
Langue :
Afficher les résultats avec :
Filtré par : sujet: Fonctions récursives supprimer Date de parution: Avant 1965 supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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(->>)

2
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Toronto. London. McGraw-Hill, 1958

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

Refine Search Results

Date de parution 

Affiner à partir de Affiner jusqu'à

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Davis, Martin
  2. Church, Alonzo

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.