Modal logic by Blackburn, Patrick, Rijke, Maarten de, Venema, Yde fromCambridge tracts in theoretical computer science 0 Type: Book
Modal logic by Blackburn, Patrick, Rijke, Maarten de, Venema, Yde fromCambridge tracts in theoretical computer science 0 Type: Book
Memoirs of a proof theorist: Gödel and other logicians by Takeuti, Gaisi, Yasugi, Mariko, Passell, Nicholas 0 Type: Book
Theorems, corollaries, lemmas, and methods of proof by Rossi, Richard J. fromPure & Applied Mathematics 0 Type: Book
Adapting proof-as-programs: the Curry-Howard protocol by Poernomo, Iman Hafiz, Wirsing, Martin, Crossley, John Newsome 0 Type: Book
