1. RUN

Browsing by Author Santos, Paulo Guilherme

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)TypeAccess Type
Dec-2021k-Provability in PASantos, Paulo Guilherme; Kahle, ReinhardarticleopenAccess
Feb-2024Paradoxes, Intuitionism, and Proof-Theoretic SemanticsKahle, Reinhard; Santos, Paulo GuilhermebookPartopenAccess
Dec-2021VARIANTS of KREISEL'S CONJECTURE on A NEW NOTION of PROVABILITYSantos, Paulo Guilherme; Kahle, ReinhardarticleopenAccess
Showing results 1 to 3 of 3