INTRODUCCION A LA LOGICA Y AL ANALISIS FORMAL (BARCELONA :ARIEL, 1973)