Editor

ISSN

Notre Dame journal of formal logic