Теория доказательств

Bibliographic Details
Main Author:	Такеути, Г.
Other Authors:	Адян, С. И. (Editor)
Format:	Book
Language:	Russian
Published:	М. Мир 1978
Subjects:	доказательств теория (мат. логика). логика инфинитарная (мат. логика).. Пеано арифметика (мат. логика). системы первого порядка (доказательств теория). системы второго порядка (доказательств теория). системы конечного порядка (доказательств теория). исчисление предикатов (доказательств теория). непротиворечивости доказательства. математическая логика.
Online Access:	Перейти в каталог НБ ТГУ

Description
Physical Description:	412, [4] с.
Bibliography:	Предм. указ.: с. 407-410

Similar Items