Induction rules in bounded arithmetic
Crossref DOI link: https://doi.org/10.1007/s00153-019-00702-w
Published Online: 2019-11-12
Published Print: 2020-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jeřábek, Emil http://orcid.org/0000-0002-9057-3413
Funding for this research was provided by:
Grantová Agentura Ceské Republiky (P202/12/G061)
Text and Data Mining valid from 2019-11-12
Version of Record valid from 2019-11-12
Article History
Received: 8 October 2018
Accepted: 31 October 2019
First Online: 12 November 2019