Notre Dame Journal of Formal Logic17509 (ISSN : 0029-4527)Published by University of Notre DameVoir les documents associés Exporter Export XML Export RDF