Dinucci, A. .; Duarte, V. DINUCCI, A. L.; DUARTE, V. Introdução à lógica Proposicional Estoica. São Cristóvão: Editora UFS, 2016. PRO 2017, 10.