Hybrid logic and its proof-theory / by Torben Braüner
mainEntity
Hybrid logic and its proof-theory / by Torben Braüner
author
bookFormat
inLanguage
isPartOf
isbn
9789400700024
mainEntityOfPage
name
Hybrid logic and its proof-theory
numberOfPages
publication
sameAs
label
Hybrid logic and its proof-theory / by Torben Braüner