BERTOLINI, Cristiano ... [et al]. Lógica matemática/UFSM. Cristiano Bertolini, Guilherme Bernardinho da Cunha, Patrícia Rodrigues Fortes - 1. ed. Santa Maria, RS: UFSM, NTE, UAB, 2017.

978-85-8341-184-0

http://repositorio.ufsm.br/handle/1/15482

http://repositorioslatinoamericanos.uchile.cl/handle/2250/2833221