A class of realizable propositional formulas

DOI10.1007/BF01117462MaRDI QIDQ5626608zbMATH OpenOpenAlexFDO

Authors F. L. Varpakhovskii

Publication date 1971

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/66431

Mathematics Subject Classification ID

Intermediate logics (03B55)

This page was built for publication: A class of realizable propositional formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5626608)