• RecordNumber
    26975
  • Author

    Fisher, Alec. , Fisher, Alec.

  • Title

    Formal number theory and computability : a workbook

  • Author Statement
    by Alec Fisher
  • Publication
    Clarendon Press , Clarendon Press
  • Publication Year
    1982
  • Collation
    xiii, 190 p. : ill. ; 25 cm
  • Series
    Oxford science publications , Oxford logic guides, 7
  • Notes
    0198531788 , Includes index , Bibliography: p. (187)-188
  • Subject

    Incompleteness theorems , Godel's theorem , Number theory

  • ADDED ENTRIES
    ,
  • LC Class
    QA
  • LC Number
    241
  • LC CutterNumber
    .F57
  • LC Date
    1982
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=26975&Field=0&DTC=2