Notre Dame Journal of Formal Logic


The NDJFL is grateful to the American Mathematical Society's MathSciNet for access to the bibliographic information used by the Journal and others to prepare the metadata for Volumes 1--45.

Volumes 1--34 appear as open archives due to the efforts of many. We especially thank Keith Dennis, Cornell University Libraries, Publishing Dimensions, University Libraries of Notre Dame, and the Office of Research at the University of Notre Dame.