Rayon Fondements des mathématiques (logique)
Fiche technique
Format : Cartonné
Nb de pages : 184 pages
Poids : 477 g
Dimensions : 16cm X 24cm
EAN : 9782225820915
Quatrième de couverture
Introduction à divers aspects du lambda-calcul, inventé en 1930, et considérablement développé depuis, à cause de sa capacité à modéliser les langages de programmation fonctionnels.
