Fromal logic tr by lmelda Choquette - Maritain J (1946)