Harrington L. A.,ParisJB ...


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

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