Lambda calculus with types

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:47105
Glavni autor: Barendregt, H. P. (-)
Ostali autori: Dekkers, Wil (-), Statman, Richard
Vrsta građe: Knjiga
Jezik: eng
Impresum: Cambridge ; New York : Cambridge University Press, 2013.
Nakladnička cjelina: Perspectives in logic.
Predmet: