Natural Deduction Bottom Up
Crossref DOI link: https://doi.org/10.1007/s10849-021-09329-8
Published Online: 2021-03-16
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zimmermann, Ernst http://orcid.org/0000-0002-9911-0239
Funding for this research was provided by:
Eberhard Karls Universität Tübingen
Text and Data Mining valid from 2021-03-16
Version of Record valid from 2021-03-16
Article History
Accepted: 15 February 2021
First Online: 16 March 2021