Bibliografia

Principal

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

Secundária

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