calculi of lambda-conversion.
Series: Annals of mathematical studies -- no. 6.
Publisher: Princeton University Press
Published: 1941
Place of publication: Princeton
Language: eng
Number of pages: 82
Subjects: Logic, Symbolic and mathematical.; Functions.
Other titles: Lambda-conversion.
Notes: Bibliography: p. 73-82.