Document details

Towards structurally-free theorem proving

Author(s): Finger, Marcelo

Date: 1998

Origin: Oasisbr

Subject(s): LÓGICA; LÓGICA; LÓGICA


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