1 0

    Adapter les preuves en tant que programmes : le protocole Curry-Howard

    Adapter les preuves en tant que programmes : le protocole Curry-Howard

    9780387237596

    Rs. 10,056.00
    Rs. 14,297.00 Rs. 10,056.00
    Promotion Épuisé
    Afficher tous les détails