Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки

From MaRDI portal
Publication:3119288