All About Computational Logic (computational-logic.org)

This initial manuscript deals with many concepts within Computational Logic and how they relate to modern computational innovations. In some ways, it answers the question, "Where does Computer Science come from?"