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