Book:Journal/Notre Dame Journal of Formal Logic