Hybrid Logic and its Proof-Theory (Applied Logic Series)
by Torben Braüner
ISBN 13: 9789400700017
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 2010
Save for later