@article{DBLP:journals/ndjfl/Detlefsen89,
author = {Michael Detlefsen},
title = {Introduction},
journal = {Notre Dame Journal of Formal Logic},
volume = {30},
number = {3},
year = {1989},
pages = {313},
bibsource = {DBLP, http://dblp.uni-trier.de}
}