• RecordNumber
    28877
  • Author

    Väänänen, J1950-(Jouko)

  • Title

    Dependence logic

  • Publication
    Cambridge University Press
  • Publication Year
    2007
  • Collation
    ix, 225 p. ill. 24 cm
  • Subject

    First-order logic

  • LC Class
    BC
  • LC Number
    128
  • LC CutterNumber
    .V33
  • LC Date
    2007
  • Language
    English
    • Link To Document
    https://library.art.ac.ir/dl/search/default.aspx?Term=28877&Field=0&DTC=395