• RecordNumber
    3931
  • Author

    Garnier, Rowan.

  • Title

    100% mathematical proof

  • Author Statement
    Rowan Garnier, John Taylor
  • Publication
    Wiley
  • Publication Year
    1996
  • Collation
    viii, 317 p. : ill
  • Notes
    0471961981 , Includes bibliographical references (p. (273)-274) and index
  • Subject

    Logic, Symbolic and mathematical , Proof theory

  • ADDED ENTRIES
    Taylor, John ,
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .G367
  • LC Date
    1996
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=3931&Field=0&DTC=2