Theories of the Classical Propositional Logic and Substitutions
Crossref DOI link: https://doi.org/10.1134/S0001434621110249
Published Online: 2021-12-14
Published Print: 2021-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gorbunov, I. A.
Text and Data Mining valid from 2021-11-01
Version of Record valid from 2021-11-01
Article History
Received: 8 June 2019
Revised: 15 July 2021
Accepted: 20 July 2021
First Online: 14 December 2021