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