The calculi of Lambda-conversion.
Series: Annals of mathematics studies -- No. 6
Publisher: Princeton Univ. Press
Published: 1941
Place of publication: Princeton
Language: eng
Number of pages: 77
Subjects: Logic