Set theory in type-free combinatorially complete systems

MaRDI QIDQ1056743zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1983

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

zbMATH Keywords

lambda-calculusChurch's calculusdeductive extensionsset-theoretical concepts

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Set theory in type-free combinatorially complete systems

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