-
1by MARIA FERNANDA PALLARES COLOMARSubjects: “...[en] PROOF THEORY...”
Published 2003
Get full text
Get full text
Get full text
-
2by MARIA FERNANDA PALLARES COLOMARSubjects: “...[en] PROOF THEORY...”
Published 2008
Get full text
Get full text
Get full text
-
3by VASTON GONCALVES DA COSTASubjects: “...[en] PROOF THEORY...”
Published 2007
Get full text
Get full text
Get full text
-
4by CHRISTIAN JACQUES RENTERIASubjects: “...[en] PROOF THEORY...”
Published 2004
Get full text
Get full text
Get full text
-
5by EDUARDO NAHUM OCHS“... be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become...”
Published 2004
Get full text
Get full text
Get full text
-
6by Dias, Diogo Henrique Bispo“... of Category Theory, while the second one makes use of proof theory and the notion of valuation structure...”
Published 2019
Get full text
Others -
7by VICTOR LUIS BARROSO NASCIMENTO“... technical results obtained in the field of proof theory, which redefined the relation between the classical...”
Published 2018
Get full text
Get full text
Get full text