No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992018
If you made any changes in Pure these will be visible here soon.

Research Output 1999 2018

Filter
Book
2011

Hybrid Logic and its Proof-Theory

Braüner, T. 2011 Springer Science+Business Media. 231 p. (Applied Logic Series, Vol. 37).

Research output: Book/ReportBookResearchpeer-review