Souza, João

• Lógica para Ciência da Computação, 3ª Edição