Основания математической логики
Карри, Хаскелл Брукс.
Основания математической логики / Х. Карри ; [пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева]. — Москва : Мир, 1969. — 567 с.
Пер. изд.: Fondations of mathematical logic / by Haskell B. Curry. New York [etc.] : McGraw-Hill, 1963.
Библиогр. в подстроч. примеч. и с. 518-547.
Указ. символов, терминов, имен.: с. 548-547.
Донченко, В. В., пер.
Гастев, Ю. А., ред.
УДК: 510.6
[ SYS NUM: 30277 ]
Основания математической логики / Х. Карри ; [пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева]. — Москва : Мир, 1969. — 567 с.
Пер. изд.: Fondations of mathematical logic / by Haskell B. Curry. New York [etc.] : McGraw-Hill, 1963.
Библиогр. в подстроч. примеч. и с. 518-547.
Указ. символов, терминов, имен.: с. 548-547.
Донченко, В. В., пер.
Гастев, Ю. А., ред.
УДК: 510.6
[ SYS NUM: 30277 ]