A new algorithm for derivability in the constructive propositional calculus

From MaRDI portal
Publication:5608767

DOI10.1090/TRANS2/094/02zbMath0208.01905OpenAlexW4214599228MaRDI QIDQ5608767

Nikolai Nikolaevic Vorob'Ev

Publication date: 1970

Published in: Sixteen Papers on Logic and Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/094/02




Related Items (13)







This page was built for publication: A new algorithm for derivability in the constructive propositional calculus