* Added "A Computational Logic"

Added "A Computational Logic" by Robert S. Boyer and J Strother Moore.

* Added info to "A Computational Logic"

Added the publication year.