00722nam0-22002531i-450-990001172450403321000117245FED01000117245(Aleph)000117245FED0100011724520000920d1941----km-y0itay50------baeng<<The >>calculi of lambda-conversionby ALONZO CHURCH.Princeton [N.J.]Princeton University Press1941Annals of mathematics studiesChurch,Alonzo45761ITUNINARICAUNIMARCBK990001172450403321C-11-(61316MA1MA1Calculi of lambda-conversion345957UNINAING01