TY  - BOOK
AU  - Попов, А. И.
TI  - Введение в математическую логику
T2  - Физико-математическое наследие: математика (основания математики и логики)
SN  - 978-5-9710-9708-2
PY  - 2022///
CY  - Москва
PB  - URSS, ЛЕНАНД
KW  - Математическая логика
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\6620994
KW  - 510.6
KW  - 4
KW  - В12
N2  - Библиогр.: с. 106 и в подстроч. примеч
ER  -