Los sistemas deductivos : Orígenes, construcciones y aplicaciones - Castroverde C., Rodolfo (: CRU. Veraguas, 2000)