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

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

Holdings details from Научная библиотека ТГУ: Абонемент. Депозитарий
Call Number:	51 Т15
	Available Place a Hold

Holdings details from Научная библиотека ТГУ: Абонемент
Call Number:	51 Т15
	Available Place a Hold

Similar Items