Axiomatizing Provable n-Provability
Crossref DOI link: https://doi.org/10.1134/S1064562418070153
Published Online: 2019-01-07
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kolmakov, E. A.
Beklemishev, L. D.
Text and Data Mining valid from 2018-11-01
Article History
Received: 29 June 2018
First Online: 7 January 2019