Remark on a finite axiomatization of finite intermediate propositional logicsстатья

Информация о цитировании статьи получена из Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 июня 2020 г.

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст Tabular Intuitionistic Logics 1999_Skvortsov_Tabular_Int_Logics.pdf 185,4 КБ 4 января 2020 [ezolin]