TY - BOOK AU - Levis Zerpa TI - The Logic, Philosophy, and History of the Lambda-Calculus SN - 978-3-031-72851-8 PB - Springer KW - Philosophy UR - https://doi.org/10.1007/978-3-031-72851-8 ER -