Book serie: / Книги серии: Сибирский математический журнал т. 41 (2000) № 3 с. 696-711 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Сибирский математический журнал т. 41 (2000) № 3 с. 696-711

book Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий (статья)

Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий (статья)

pdf

Author: Урсу В.И.
Language: Русский
Year: 2000

00

26.01.2024

0

0