Bibliografia

Principal

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

Secundária

• Isabel Ferreirim (2014) Notas teóricas de LPO