• RecordNumber
    46174
  • LC Class
    QA
  • LC Number
    248.5
  • LC CutterNumber
    .G62
  • Author

    Goodstein, R. L

  • Title

    Recursive number theory

  • Publication
    North-Holland Pub. Co.
  • Collation
    xii, 190 p.; ILL.; 22 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Recursion theory , Arithmetic

  • SubTitle
    a development of recursive arithmetic in a logic-free equation calculus
  • Index
    Bibliography: p. 188
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46174&Field=0&DTC=100