👤 Дмитрий Смелянский

Логика второй ступени Введение. Краткое изложение основных фактов и некотрые исследования в области логики предикатов второго порядка.. Дмитрий Смелянский