A modern perspective on type theory : from its origins until today [ Livre] / Fairouz, Kamareddine ; Twan, Laan ; Rob, Nederpelt

Auteur principal: Kamareddine, FairouzCo-auteur: Laan, Twan;Nederpelt, RobLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Dordrecht : Kluwer Academic Publishers, 2010Description : xiv-357 p.ISBN: 9789048166398 .Classification:
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 KAM (Browse shelf) Available F 4 1 Logique mathématique 027919

Powered by Koha