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, c2011

Note

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

Details

• NCID: BB04454973
• ISBN:
  • 9789400700017
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xiii, 231 p.
• Size: 24 cm
• Classification:
  • SG : 100
• Parent Bibliography ID:
  • BA28718584