skip to main content
Langue :
Afficher les résultats avec :

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(->>)

  • Titre :
    Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
  • Auteur : Murawski, Roman
  • Éditeur : Dordrecht. Boston. Kluwer Academic Publishers
  • Parution : 1999
  • Notes : Bibliogr. : p. 341-375. Index
  • Liens : Appartient à la collection : Synthese Library (Dordrecht), 286, ISSN 0166-6991
  • Sujets : Gödel Théorème de;
    Décidabilité (logique mathématique);
    Fonctions récursives
  • Format : xii, 391 p ; 25 cm
  • Langue : Anglais
  • Type : Livre
  • ISBN 0-7923-5904-6
  • Source : Catalogue Bibliothèque Diderot
  • Origine de cette notice : SUDOC

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