Notre Dame Journal of Formal Logic (University of Notre Dame, 1960)