• RecordNumber
    50714
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .R986
  • LC Date
    1997
  • Author

    Rybakov, Vladimir V. (Vladimir Vladimir)

  • Birth-Death
    1961-
  • Title

    Admissibility of logical inference rules

  • Author Statement
    Vladimir V. Rybakov
  • Publication
    Amsterdam New York Elsevier
  • Publication Year
    1997
  • Collation
    617 p. : ill. ; 24 cm
  • Series
    Studies in logic and the foundations of mathematics v. 136
  • Subject

    Logic, Symbolic and mathematical , Inference

  • ADDED ENTRIES
    TI
  • وارد كنندة اطلاعات
    aghaee
  • تاريخ ورود اطلاعات
    1391/06/18
  • Index
    Includes bibliographical references and index
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=50714&Field=0&DTC=100