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

Bibliographische Detailangaben
1. Verfasser:	Такеути Г. Гаиси
Sprache:	Russisch
Veröffentlicht:	Москва, Мир, 1978
Schlagworte:	Математическая логика системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Beschreibung
Beschreibung:	412 с.

Ähnliche Einträge