1 paper · 1 filter
Assaf Kfoury
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.