Algumas RelAções entre CáLculo de Sequentes E DeduçãO Natural.
C. Lustosa. Pontifical Catholic University of Rio de Janeiro, Brazil, (2014)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24302).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/ndltd/Lustosa14
%A Lustosa, Cecilia Reis Englander
%D 2014
%K dblp
%T Algumas RelAções entre CáLculo de Sequentes E DeduçãO Natural.
@phdthesis{phd/ndltd/Lustosa14,
added-at = {2017-08-21T00:00:00.000+0200},
author = {Lustosa, Cecilia Reis Englander},
biburl = {https://www.bibsonomy.org/bibtex/2a3932889a371147e7fd2e7cb47674ba6/dblp},
ee = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24302},
interhash = {76e4046fe055b32675e106f81e7b1d1f},
intrahash = {a3932889a371147e7fd2e7cb47674ba6},
keywords = {dblp},
note = {ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24302)},
school = {Pontifical Catholic University of Rio de Janeiro, Brazil},
timestamp = {2017-08-22T11:41:26.000+0200},
title = {Algumas RelAções entre CáLculo de Sequentes E DeduçãO Natural.},
year = 2014
}