• RecordNumber
    45064
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .G367
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Garnier, Rowan

  • Title

    100,mathematical proof

  • Author Statement
    Rowan Garnier, John Taylor
  • Publication
    Wiley
  • Publication Year
    c1996
  • Collation
    viii, 317 p.: ill.; 25 cm
  • Subject

    Proof theory,Logic, Symbolic and mathematical

  • ADDED ENTRIES
    Taylor, John, 1957-
  • Holding Info.
    0471961981
  • Original By
    76/09
  • DocumentNumber
    42488
  • Biblography
    Includes bibliographical references (p. [273]-274) and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=45064&Field=0&DTC=100