Notre Dame J. Formal Logic
51(1):
1-2
(2010).
DOI: 10.1215/00294527-2010-001