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

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

Bibliographic Details
Main Author: Такеути Г. Гаиси
Published: Москва, Мир, 1978
Subjects:
системы первого порядка
предикаты первого порядка
исчисление
арифметика Пеано
системы второго порядка
системы конечного порядка
инфинитарная логика
непротиворечивость
доказательства
применение
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Similar Items