RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив
Учен. зап. Казан. ун-та., 1969, том 129, книга 4, страницы 21–31 (Mi uzku15)
Об усилениях формул, доказуемых в исчислении высказываний

Н. К. Замов, В. И. Шаронов




Реферативные базы данных:

© МИАН, 2024