Iniciação à Lógica Matemática - Edgard de Alencar Filho