TY  - BOOK
AU  - Карри,Хаскелл Б.
AU  - Донченко,В.В.
AU  - Гастев,Ю.А.
TI  - Основания математической логики: Пер. с англ. 
PY  - 1969///
CY  - Москва
PB  - Мир
KW  - Математическая логика
N1  - Указатели символов, терминов и именной: с. 548 - 567; Библиогр.: с. 518 - 547; Оригинал на англ.; Foundations of Mathematical Logic; Haskell B. Curry -; New York : McGraw-Hill Book Company, inc : 1963
ER  -