پروژه ها

Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods