Springer, Outstanding contribution to Logic.96130Voir les documents associés Exporter Export XML Export RDF