00327nam a2200121Ia 45000030006000000080041000060400015000471000030000622450075000922600009001675460012001760050017001880STCL150530s9999    xx            000 0 und d  aSTCLcSTCL  aCurry Haskell, B.; Others  aStudies in logic and foundation of mathematics combinatory logic vol I  c1958  aEnglish20220125165920.0