skip to main content

Recursion Theory for Metamathematics

Raymond M. Smullyan

New York Oxford University Press, USA, 1993

Accessible en ligne

  • Titre:
    Recursion Theory for Metamathematics
  • Auteur: Raymond M. Smullyan
  • Éditeur: New York Oxford University Press, USA
  • Date de publication: 1993
  • Langue: Anglais
  • Identifiant: ISBN0-19-508232-X;ISBN9786610443376;ISBN1-4237-3454-8;ISBN0-19-534481-2;ISBN1-280-44337-5;ISBN1-60256-622-4
  • Source: Dauphine (ressources électroniques)
    Collège de France (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    PSL (ressources électroniques)
    ESPCI Paris (ressources électroniques)

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é