Hybrid Logic and its Proof-Theory (Applied Logic Series)

Applied

by Torben Braüner

Hardcover

ISBN: 978-94-007-0001-7

ISBN-10: 94-007-0001-6

Springer · 2010

See also:
2011PaperbackHybrid Logic and its Proof-Theory