УДК 510.622
Об одной аксиоме исчисления предикатов из книги
Р. Шмульяна ``Теоремы Геделя о неполноте'' /Акимов А.А. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика.
C. 60-62.
Библиогр. 2.
|
|
|
|
|
|
|
|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://vestnik.math.msu.su/DATA/1999/2/abstr/60
Дата изменения: Unknown Дата индексирования: Sun Apr 10 22:26:19 2016 Кодировка: Windows-1251 |
|
|
|
|
|
|
|
|
|
|
УДК 510.622
Об одной аксиоме исчисления предикатов из книги
Р. Шмульяна ``Теоремы Геделя о неполноте'' /Акимов А.А. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика.
C. 60-62.
Библиогр. 2.