Notre Dame journal of formal logic - Sobociński, Bolesław (Univ. of Notre Dame, 1971)