• RecordNumber
    46116
  • LC Class
    QA
  • LC Number
    9.3
  • LC CutterNumber
    .S43
  • Author

    Segerberg, Krister, 1936-

  • Title

    Classical propositional operators

  • Author Statement
    by Krister Segerberg
  • Publication
    Clarendon Press ;Oxford University Press
  • Collation
    x, 151 p. ; 24 cm
  • Series
    Oxford logic guides
  • Notes
    Includes indexes
  • Subject

    Propositional calculus

  • ADDED ENTRIES
    ,
  • SubTitle
    an exercise in the foundations of logic
  • Index
    Bibliography: p. [143]-144
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46116&Field=0&DTC=100