de Castro Alves, Tiago
(2019-08-16)
The main objective of the dissertation is to investigate from a strictly philosophical perspective different approaches and results related to the problem of identity of proofs, which is a problem of general proof theory ...