From 5c2f20727aea6418097524cd9847ef67fc79546f Mon Sep 17 00:00:00 2001
From: Titus Tzeng <32384280+titusjgr@users.noreply.github.com>
Date: Tue, 12 Oct 2021 22:31:35 +0800
Subject: [PATCH] Added "A Computational Logic" (#6188)

* 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.
---
 books/free-programming-books-subjects.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/books/free-programming-books-subjects.md b/books/free-programming-books-subjects.md
index d26ee3b62..7d0dae310 100644
--- a/books/free-programming-books-subjects.md
+++ b/books/free-programming-books-subjects.md
@@ -335,6 +335,7 @@ Books that cover a specific programming language can be found in the  [BY PROGRA
 ### Mathematics
 
 * [A Computational Introduction to Number Theory and Algebra](https://shoup.net/ntb/) - Victor Shoup
+* [A Computational Logic (1979)](https://www.cs.utexas.edu/users/boyer/acl.pdf) - Robert S. Boyer and J Strother Moore (PDF)
 * [A First Course in Complex Analysis](http://math.sfsu.edu/beck/complex.html) - Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka
 * [A First Course in Linear Algebra](http://linear.ups.edu) - Rob Beezer
 * [A Friendly Introduction to Mathematical Logic](https://milneopentextbooks.org/a-friendly-introduction-to-mathematical-logic/) - Christopher C. Leary and Lars Kristiansen