Teoria clássica da dedução

Lourenço, M. S. (NHC Fellow, 1979–80). Teoria clássica da dedução. Peninsulares. Especial. Lisbon, Portugal: Assírio & Alvim, 1991. ISBN 9723702762.