Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevič fromTranslations of mathematical monographs 0 Type: Book
Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevich fromTranslations of mathematical monographs 0 Type: Book
Adapting proof-as-programs: the Curry-Howard protocol by Poernomo, Iman Hafiz, Wirsing, Martin, Crossley, John Newsome fromMonographs in Computer Science 0 Type: Book
An Algebraic approach to non-classical logics by Rasiowa, Helena fromStudies in logic and the foundations of mathematics 0 Type: Book
