"History and Philosophy of Constructive Type Theory " - читать интересную книгу автора (Giovanni Sommaruga)