TY  - BOOK
AU  - Лавров,Игорь Андреевич
AU  - Максимова,Лариса Львовна
TI  - Задачи по логике: пособие для студентов-математиков НГУ
T2  - Библиотека кафедры алгебры и математической логики
PY  - 1970///
CY  - Новосибирск
PB  - [б. и.]
KW  - учебные пособия для вузов
KW  - задачи
KW  - математическая логика
KW  - теория множеств
KW  - числа ординальные
KW  - бинарные отношения
KW  - функции
KW  - отношения
KW  - исчисление высказываний
KW  - алгебра высказываний
KW  - исчисление предикатов
KW  - аксиоматические теории
KW  - фильтры
KW  - фильтрованные произведения
KW  - аксиоматизируемые классы
KW  - числа кардинальные
N1  - Библиогр.: с. 107
ER  -