Proof-theoretic pluralism
Crossref DOI link: https://doi.org/10.1007/s11229-019-02217-6
Published Online: 2019-04-29
Published Print: 2021-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ferrari, Filippo http://orcid.org/0000-0001-6770-8124
Orlandelli, Eugenio http://orcid.org/0000-0002-4021-8667
Text and Data Mining valid from 2019-04-29
Version of Record valid from 2019-04-29
Article History
Received: 11 June 2018
Accepted: 16 April 2019
First Online: 29 April 2019