Document is current

Any future updates will be listed below

Enhancing induction in a contraction free logic with unrestricted abstraction: from $$\mathbf {Z}$$ to $$\mathbf {Z}_2$$

Crossref DOI link: https://doi.org/10.1007/s00153-022-00824-8

Published Online: 2022-03-14

Published Print: 2022-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark