Bibliografia

Principal

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

Secundária

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