Bispo, Carlos Alberto Ferreira Introdução à lógica matemática / - 1. ed. - - São Paulo : Cengage Learning, 2011, - 135p. Port. ISBN: 9788522111268 Subjects--Topical Terms: Lógica simbólica e matemática ; Dewey Class. No.: 511.3