|
Алгебра и логика, 1969, том 8, номер 1, страницы 76–92
(Mi al1184)
|
|
|
|
Нерегулярное исчисление предикатов первого порядка
А. Таутс
Поступило: 05.11.1968
Образец цитирования:
А. Таутс, “Нерегулярное исчисление предикатов первого порядка”, Алгебра и логика, 8:1 (1969), 76–92
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1184 https://www.mathnet.ru/rus/al/v8/i1/p76
|
|