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 às 09:00
Local: 511 RDC

Categorias: Teses e Dissertações