Lambda Calculus with Types Barendregt, Henk Dekkers, Wil Statman, Richard 9780521766142 Perspectives in Logic Innbundet 20.06.2013 Engelsk Produseres på bestilling