Implicative systems of combinatory logic

zbMATH Open0246.02022MaRDI QIDQ2555488FDOQ2555488

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)