View of Formulas of one propositional variable in intuitionistic logic with the Solovay modality

Return to Article Details Formulas of one propositional variable in intuitionistic logic with the Solovay modality Download Download PDF