Hybrid logic and its proof-theory

Author(s)

    • Braüner, Torben

Bibliographic Information

Hybrid logic and its proof-theory

Torben Braüner

（Applied logic series, v. 37）

Springer, 2010

  • : pbk

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 221-228) and index

"Softcover reprint of the hardcover 1st edition 2010." -- T.p. verso

Related Books： 1-1 of 1

Details

  • NCID
    BB1417353X
  • ISBN
    • 9789400734357
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Dordrecht
  • Pages/Volumes
    xiii, 231 p.
  • Size
    24 cm
  • Classification
  • Parent Bibliography ID
Page Top