УДК 510.622

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

Библиогр. 2.


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