Theories in Classical Propositional Logic and the Converse of Substitution
Crossref DOI link: https://doi.org/10.3103/S1066369X2001003X
Published Online: 2020-04-06
Published Print: 2020-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gorbunov, I. A.
Text and Data Mining valid from 2020-01-01
Version of Record valid from 2020-01-01
Article History
Received: 9 February 2019
Revised: 26 March 2019
Accepted: 27 March 2019
First Online: 6 April 2020