TY - BOOK AU - Гудстейн, Р. Л. TI - Математическая логика T2 - Физико-математическое наследие: математика (основания математики и логика) SN - 978-5-397-00528-9 PY - 2010/// CY - Москва PB - URSS, ЛИБРОКОМ KW - Математическая логика KW - RU\NLR\auth\6620994 KW - В12,07 KW - rubbk KW - В12 N2 - Библиогр.: с. 142-148; Указ. содерж., терминов, фамилий: с. 155159; Указ. обозначений: с. 160-161 ER -