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

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Такеути Г. Гаиси
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, Мир, 1978
Խորագրեր:	Математическая логика системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Նմանատիպ նյութեր