Multimodal and Intuitionistic Logics in Simple Type Theory

Cached

Download Links

by C. Benzmüller , L. C. Paulson
Citations:9 - 9 self