Wróć do szczegółów artykułu
Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Pobierz
Pobierz PDF