Return to Article Details Теорема дедукции для неклассических исчислений: два подхода. Download Download PDF