BIBLIOGRAFIAS BÁSICAS
GERSTING, J. L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. Tradução de Valéria de Magalhães Iório. 5. ed. Rio de Janeiro: LTC - Livros Técnicos e Científicos S.A., 2004.
SOUZA,J. N. de. Lógica para Ciência da Computação: uma introdução concisa. 2ª edição revista e atualizada. Rio de Janeiro: Campus, 2008.
CORREIRA, M. F.; MELO, A.C.V. de. Lógica para Computação, Editora Thomson, 2006.
BIBLIOGRAFIAS COMPLEMENTARES
DAGHLIAN,J. Lógica e Álgebra de Boole. 4ª Edição.São Paulo: Atlas, 1995.
KELLER, V. & BASTOS, C. L. Aprendendo Lógica. Petrópolis, RJ: Vozes, 2000.
HUTH, M. & RYAN, M. Lógica em Ciência da Computação: modelagem e argumentação sobre sistemas. Tradução de Valéria de Magalhães Iório. 2ª Edição. Rio de Janeiro: LTC - Livros Técnicos e Científicos S.A., 2004.