scientific article; zbMATH DE number 3650522

MaRDI QIDQ3208622zbMATH OpenFDO

Authors Mohamed A. Amer

Publication date 1976

zbMATH Keywords

combinatory logiclambda conversionBoolean structures of type theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other aspects of forcing and Boolean-valued models (03E40)

This page was built for publication:

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