Théorie de la récursivité pour la métamathématique

Author(s)

• Smullyan, Raymond M.

Bibliographic Information

Théorie de la récursivité pour la métamathématique

Raymond M. Smullyan ; traduit de l'anglais par Ithier

（Logique mathématiques informatique, 16）

Masson, c1995

Other Title

Recursion theory for metamathematics

Details

• NCID: BA28860020
• ISBN:
  • 2225848602
• Country Code: fr
• Title Language Code: fre
• Text Language Code: fre
• Original Language Code: eng
• Place of Publication: Paris
• Pages/Volumes: xi, 163 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.6
  • DC20 : 511.3/5
• Subject Headings:
  • LCSH : Recursion theory
• Parent Bibliography ID:
  • BA27966456