Keywords: Schonfinkel.gif ru фотог афия оисея Исаевича Шейнфинкеля создателя комбинато ной логики скан из книги H P Barendregt The Lambda Calculus Its Syntax and Semantics 1981 Author 1922 Anonymous-EU PD-old Lambda calculus Mathematicians from the Soviet Union Logicians from the Soviet Union 1889 births 1942 deaths Scientists in 1922 |