Multimodal and Intuitionistic Logics in Simple Type Theory

Cached

Download Links

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