6 citations · 22 across the 11 of their papers we have counts for
1 paper · 2 filters
Assaf Kfoury
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.