Introdução à Lógica Simbólica - Reis, Joaquim (2009)