-
由 Titus Tzeng 提交于
* 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.
5c2f2072
从无法访问的项目Fork
* 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.