computer science
-
Propose a framework for the cross-disciplinary study of symbolic logic and computerprogramming languages.
A framework for the cross-disciplinary study of symbolic logic and computer programming languages to enhance modern software development.