检索结果 - Такеути Г. Гаиси

Математическая логика арифметика Пеано доказательства инфинитарная логика исчисление непротиворечивость предикаты первого порядка применение системы второго порядка системы конечного порядка системы первого порядка