Proof Theory of Modal Logic (Applied Logic Series)
by
Heinrich Wansing
Hardcover
details (
USA
).
ISBN: 978-0-7923-4120-8
ISBN-10: 0-7923-4120-1
Springer
· 1996