/Кияткин В. Р. - Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1(2000)(10).pdf

Showing first 1 matched files of 1172 total files

/Руцкий А. Н. - Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN(2007)(12).pdf

Showing first 1 matched files of 1038 total files