Hybrid Logic and its Proof-Theory

Theory

by Torben Braüner

Paperback

ISBN: 978-94-007-0003-1

ISBN-10: 94-007-0003-2

Springer · 2011

See also:
2010HardcoverHybrid Logic and its Proof-Theory (Applied Logic Series)