Bibliografia

Principal

• Language, Proof and Logic: Jon Barwise & John Etchemendy 2003 CSLI Publications

Secundária

• Folhas de exercícios. (Exercise blooklet.):
• Notas de LPO: Mário Edmundo 2021