Queiroz, Ruy Jose Guerra Barretto deRuy Jose Guerra Barretto deQueiroz2017-06-192017-06-191990http://hdl.handle.net/10044/1/46514application/pdfProof theory and computer programming : the logical foundations of computingThesis or dissertation