Implicative systems of combinatory logic with a universal quantifier

MaRDI QIDQ2557243zbMATH OpenFDO

Authors A. S. Kuzichev, S. L. Nikogosov

Publication date 1973

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Implicative systems of combinatory logic with a universal quantifier

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