Tese de Doutorado: "On some relations between Natural Deduction and Sequent Calculus"

Autor: Cecília Reis Englander Lustosa

Orientador: Edward Hermann Haeusler

Data: 08/07/2014     09:00 h     sala 511 RDC

Categorias: Teses e Dissertações