Implicative systems of combinatory logic

MaRDI QIDQ2555488zbMATH OpenFDO

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

Publication date 1972

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

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