Logique combinatoire et lambda calcul : des logiques d'opérateurs
31.85 EUR21.23 EUR33% Off
Plongez dans l’univers des opérateurs logiques avec ce manuel de 270 pages, où le calcul lambda rencontre la logique combinatoire à travers des démonstrations détaillées et des schémas illustrés, idéal pour les chercheurs en théorie des langages.