TY  - BOOK
AU  - Такеути,Г.
AU  - Адян,С.И.
TI  - Теория доказательств
PY  - 1978///
CY  - М.
PB  - Мир
KW  - доказательств теория (мат. логика)
KW  - логика инфинитарная (мат. логика)
KW  - Пеано арифметика (мат. логика)
KW  - системы первого порядка (доказательств теория)
KW  - системы второго порядка (доказательств теория)
KW  - системы конечного порядка (доказательств теория)
KW  - исчисление предикатов (доказательств теория)
KW  - непротиворечивости доказательства
KW  - математическая логика
N1  - Предм. указ.: с. 407-410
ER  -