Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки
From MaRDI portal
Publication:3119288
DOI10.21146/2074-1472-2018-24-2-129-136zbMath1431.03020OpenAlexW2913495052MaRDI QIDQ3119288
Publication date: 11 March 2019
Published in: Logical Investigations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21146/2074-1472-2018-24-2-129-136
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки