TY - BOOK AU - Черч,А. AU - Чернявский,В.С. AU - Успенский,В.А. TI - Введение в математическую логику Т. 1 PY - 1960/// CY - Москва PB - Иностранной литературы KW - Математическая логика ER -