Mathematical Logic in Computer Science
arXiv:1802.03292
Abstract
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
arXiv:1802.03292
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.