Документ взят из кэша поисковой машины. Адрес оригинального документа : http://new.math.msu.su/vestnik/DATA/1999/2/abstr/60
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 02:52:23 2016
Кодировка: Windows-1251
Вестник МГУ. Математика. Механика

УДК 510.622

Об одной аксиоме исчисления предикатов из книги Р. Шмульяна ``Теоремы Геделя о неполноте'' /Акимов А.А. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 1999. N 2 C. 60-62.

Библиогр. 2.


К оглавлению номера  Go!