scientific article; zbMATH DE number 3356721

MaRDI QIDQ5631069zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1971

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

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 Q5631069)