Электронная книга

An Introduction to Functional Programming Through Lambda Calculus

Серия электронных книг

Dover Books on Mathematics