Detalhes do Documento

Labelled natural deduction for substructural logics

Autor(es): Russo, Alessandra

Data: 1999

Origem: Oasisbr

Assunto(s): LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA


Tipo de Documento Artigo científico
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo