Deductive operators of combinatory logic

MaRDI QIDQ1214403zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1974

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: Deductive operators of combinatory logic

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