«Lambda Calculus with Types (Perspectives in Logic) - Henk Barendregt» (2013) [KSIĄŻKA] Autor: Henk Barendregt • DVDmax.pl