Notre Dame Journal of Formal Logic | Revista