Archive for Mathematical Logic10714 (ISSN : 0933-5846, EISSN : 1432-0665)Published by Springer VerlagSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF