• Record number
    6310
  • Author

    Brauner Torben

  • Creator Role
    نويسنده
  • Title

    Hybrid logic and its proof- theory

  • Publication
    London Springer
  • Published Year
    2011
  • Fierst Pages
    xiii
  • Main Pages
    231
  • Collation
    xiii، 231، illus
  • Series
    Applied logic series; v. 37
  • Reprint
    False
  • Subject

    Logic, symbolic and mathematical , Proof theory

  • Class
    511
  • Number
    3
  • CutterNumber
    B 72
  • ISBN
    978-94-007-0001-7
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=6310