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

CiNii Available at 1 libraries

Bibliographic Information

Title
"Théorie de la récursivité pour la métamathématique"
Statement of Responsibility
Raymond M. Smullyan ; traduit de l'anglais par Ithier
Publisher
  • Masson
Publication Year
  • c1995
Book size
24 cm
Other Title
  • Recursion theory for metamathematics

Search this Book/Journal

Related Books

See more

Details 詳細情報について

  • CRID
    1130000798059028352
  • NII Book ID
    BA28860020
  • ISBN
    2225848602
  • Text Lang
    fr
  • Country Code
    fr
  • Title Language Code
    fr
  • Place of Publication
    • Paris
  • Classification
  • Subject
  • Data Source
    • CiNii Books
Back to top