Lógica axiomática. - González Carloman, Antonio. (A. gonzález carloman, 1975)