TY - BOOK AU - Попов, В. Г. TI - Введение в реальную логику SN - 978-5-907800-18-2 PY - 2024/// CY - Санкт-Петербург PB - Страта KW - Логика формальная KW - nlr_sh1 KW - nlr_sh2 KW - RU\NLR\AUTH\66666585 KW - Ю4 N2 - Библиогр. в подстроч. примеч ER -