"Foundations without Foundationalism: A Case for Second-Order Logic" 1991 — 1 февраля 2026 г. в 09:19:08.340
"Foundations without Foundationalism: A Case for Second-Order Logic" 1991 База по SOL: логика второго порядка играет центральную роль в математике.
192 просмотров

