Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
On proving functional incompleteness in symbolic logic classes.
Francis Jeffry Pelletier, et al. (1988)