A history of formal logic - Bochenski, Joseph M., 1902-1995 (University of Notre Dame, 1961)