skip to main content
Langue :
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
Material Type:
Livre
Ajouter au Panier

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Murawski, Roman

Appartient à la collection : Synthese Library (Dordrecht), 286, ISSN 0166-6991

Dordrecht. Boston. Kluwer Academic Publishers, 1999

Disponible(->>)

Refine Search Results

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Murawski, Roman

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.