Authors: Pliuskeviciene, A

Citation: A. Pliuskeviciene, Effective properties of some first order intuitionistic modal logics, LECT N A I, 1761, 2000, pp. 236-250