TY  - BOOK
TI  - Традиционная логика. Пропозициональная логика. Логика предикатов
SN  - 978-5-9710-9645-0
PY  - 2022///
CY  - Б. м.
KW  - Логика предикатов
KW  - RU\NLR\AUTH\6601710133
KW  - Исчисление предикатов
KW  - RU\NLR\AUTH\661352941
KW  - Ю433
KW  - В123
N2  - Библиогр.: с. 345-351 (154 назв.); Др. произведения авт. на 4-й с. обл
ER  -