TY - BOOK AU - Калужнин,Лев Аркадьевич TI - Что такое математическая логика? U1 - 517.11 PY - 1964/// CY - Москва PB - Наука KW - Математика KW - Логика N1 - Библиогр.: с. 149-148 ER -