Stav dette: Elementos de la Teoria del Calculo Logico (Calculo Profesional).