• RecordNumber
    22233
  • Author

    Zhang, Guo-Qian

  • Title

    Logic of domains

  • Author Statement
    Guo-Qiang Zhang
  • Publication
    Birkhauser
  • Publication Year
    1991
  • Collation
    259 p. : ill. ; 25 cm
  • Series
    Progress in theoretical computer science
  • Notes
    Includes bibliographical references (p. 251-256) and index , Revision of thesis (Ph. D.)--University of Cambridge, 1989
  • Subject

    Logic, Symbolic and mathematical , Programming languages (Electronic computers) - Semantics

  • LC Class
    QA
  • LC Number
    76.7
  • LC CutterNumber
    .Z47
  • LC Date
    1991
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=22233&Field=0&DTC=2