• RecordNumber
    3455
  • Author

    Velleman, Daniel J.

  • Title

    How to prove it : a structured approach

  • Author Statement
    Daniel J. Velleman
  • Publication
    Cambridge University
  • Publication Year
    1994
  • Collation
    ix,309 p.
  • Notes
    0521446635 , Includes bibliographical references
  • Subject

    Automatic theorem proving , Structured programming

  • LC Class
    QA
  • LC Number
    76.6
  • LC CutterNumber
    .V46
  • LC Date
    1994
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=3455&Field=0&DTC=2