名古屋大学附属図書館




1

The calculi of lambda-conversion

by Alonzo Church. -- Princeton University Press, 1941. -- (Annals of mathematics studies ; no. 6).