RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив
Учен. зап. Казан. ун-та., 1970, том 130, книга 3, страницы 54–59 (Mi uzku469)
Об усилениях формул исчисления предикатов

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




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

© МИАН, 2024