A note on iterated consistency and infinite proofs
Crossref DOI link: https://doi.org/10.1007/s00153-018-0639-y
Published Online: 2018-07-13
Published Print: 2019-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Freund, Anton http://orcid.org/0000-0002-5456-5790
Funding for this research was provided by:
University of Leeds
Technische Universität Darmstadt
Text and Data Mining valid from 2018-07-13
Article History
Received: 5 September 2017
Accepted: 2 July 2018
First Online: 13 July 2018