Теория доказательств: пер. с англ.

Podrobná bibliografie
Hlavní autor:	Такеути Г. Гаиси
Jazyk:	ruština
Vydáno:	Москва, Мир, 1978
Témata:	Математическая логика системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Podobné jednotky