Proof Methods For Modal And Intuitionistic Logics
Publisher: Springer
Published: 2010
ISBN-13: 9789048183814