An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
Crossref DOI link: https://doi.org/10.1007/s11787-021-00292-3
Published Online: 2021-12-02
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Drago, Antonino
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 30 June 2020
Accepted: 17 October 2021
First Online: 2 December 2021