Recursion theory for metamathematics

Bibliographic Information

Recursion theory for metamathematics

Raymond M. Smullyan

(Oxford logic guides, 22)

Oxford University Press, 1993

Available at  / 42 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

  • NCID
    BA19515633
  • ISBN
    • 019508232X
  • LCCN
    92040495
  • Country Code
    us
  • Title Language Code
    eng
  • Place of Publication
    New York
  • Pages/Volumes
    xiv, 163 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top