Notre Dame J. Formal Logic
41(3):
185-185
(2000).
DOI: 10.1305/ndjfl/1038336840