Title: Teoria clássica da dedução
First published: 1991
Subjects: Logic
LC classification: BC75 .L68 1991