Harrington L. A.,ParisJB ...

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

Harrington L. A., Paris J.B.

[1977]

A mathematical incompleteness in PA

Handbook of Mathematic Logic, p. D, North-Holland, 1133-1142 (Русский перевод в Справочной книге по математической логике , ч. IV ,(Оревков В.П.-ред.), М., Наука, 1982, 319-327.)

article

Вернуться к поиску