TY  - BOOK
AU  - Клини,Стивен Коул
TI  - Введение в метаматематику
PY  - 1957///
CY  - М.
PB  - Издательство иностранной литературы
KW  - математическая логика
KW  - теория множеств
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - формальная арифметика
KW  - рекурсивные функции
KW  - непротиворечивость
KW  - Тьюринга машины
N1  - Библиогр.: с. 493-509
ER  -