Stav dette: Introducción a la Lógica Formal