Document details

Labelled natural deduction for substructural logics

Author(s): Russo, Alessandra

Date: 1999

Origin: Oasisbr

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


Document Type Journal article
Language English
facebook logo  linkedin logo  twitter logo 
mendeley logo