-
1by MARCELA QUISPE CRUZ“... lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. === Traditional proof theory...”
Published 2014
Get full text
Get full text
-
2by MARCELA QUISPE CRUZSubjects: “...[en] PROOF THEORY...”
Published 2017
Get full text
Get full text
Get full text