Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1999 2019

Filter
Bog
2011

Hybrid Logic and its Proof-Theory

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

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review