Wróć do szczegółów artykułu A deductive-reductive form of logic: Intuitionistic S4 modalities Pobierz Pobierz PDF