The Naturality of Natural Deduction
Crossref DOI link: https://doi.org/10.1007/s11225-017-9772-6
Published Online: 2017-12-20
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tranchini, Luca http://orcid.org/0000-0003-2844-129X
Pistone, Paolo
Petrolo, Mattia
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (Tr1112/1-3)
Text and Data Mining valid from 2017-12-20
Article History
First Online: 20 December 2017