Bibliografia

Principal

• Language, Proof and Logic Jon Barwise & John Etchemendy Seven Bridges Press:

Secundária

• Folhas de exercícios. (Exercise blooklet.):