TY  - BOOK
AU  - Гудстейн,Рейбен Луис
AU  - Яновская,Софья Александровна
TI  - Математическая логика
T2  - Физико-математическое наследие : ФМН
SN  - 9785397005289
PY  - 2010///
CY  - Москва
PB  - ЛИБРОКОМ
KW  - числа
KW  - переменные
KW  - аксиоматическая теория
KW  - исчисление предикатов
KW  - непротиворечивость (математическая логика)
KW  - Геделя теорема о полноте
KW  - теория чисел
KW  - рекурсии ординальные
KW  - арифметика рекурсивная
KW  - арифметические отношения
KW  - неполнота арифметики
KW  - неразрешимость арифметики
KW  - неразрешимость логики предикатов
KW  - логика классов
KW  - упорядоченные пары
KW  - натуральные числа
ER  -