The Blueprint of Logic
The connections between philosophy and software engineering, specifically focusing on logic and abstraction
Tags: logic, abstraction, algorithms