RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 1969, том 8, номер 1, страницы 76–92 (Mi al1184)
Нерегулярное исчисление предикатов первого порядка

А. Таутс


УДК: 517.12

Поступило: 05.11.1968



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

© МИАН, 2024