• RecordNumber
    45860
  • LC Class
    QA
  • LC Number
    9.54
  • LC CutterNumber
    .N44
  • Dewey Class
    511.3
  • Author

    Negri, Sara,1967-

  • Title

    Structural proof theory

  • Author Statement
    Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
  • Publication
    Cambridge University Press
  • Publication Year
    2001
  • Collation
    xvii, 257 p. 24 cm.
  • Subject

    Proof theory

  • ADDED ENTRIES
    Von Plato, Jan
  • DocumentNumber
    54607
  • Biblography
    Includes bibliographical references (p. 245-249) and indexes
  • ISBN
    0521793076
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=45860&Field=0&DTC=100