Mathematical Logic in Computer Science
classification
💻 cs.LO
keywords
computerlogicmathematicalsciencearticleeventsinfluencesmajor
read the original abstract
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.