Notre Dame J. Formal Logic
54(3-4):
277-277
(2013).
DOI: 10.1215/00294527-2143880