Generalized Realizability for Extensions of the Language of Arithmetic
Crossref DOI link: https://doi.org/10.3103/S0027132219040065
Published Online: 2019-08-31
Published Print: 2019-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Konovalov, A. Yu.
Text and Data Mining valid from 2019-07-01
Version of Record valid from 2019-07-01
Article History
Received: 4 July 2018
First Online: 31 August 2019