Conceptos de Lógica de la Programación N: 1