Hybrid Logic and its Proof-Theory

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

OriginalsprogEngelsk
ForlagSpringer Science+Business Media
Antal sider231
ISBN (Trykt)978-94-007-0001-7
StatusUdgivet - 2011
NavnApplied Logic Series
Vol/bind37
ISSN1386-2790

Citer dette

Braüner, T. (2011). Hybrid Logic and its Proof-Theory. Springer Science+Business Media. Applied Logic Series, Bind. 37