Logic, Philosophy, and History of the Lambda-Calculus Theory and Applications Zerpa, Levis Innbundet / 2025 / Engelsk
