"Foundational Theories of Classical and Constructive Mathematics" - читать интересную книгу автора (Giovanni Sommaruga)