knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-12-01 07:33:53 +00:00
Code Issues Releases Activity

Added "A Computational Logic" (#6188)

Browse Source 
* 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.
This commit is contained in:
Titus Tzeng 2021-10-12 22:31:35 +08:00 committed by GitHub
parent ddceca6904
commit 5c2f20727a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
books/free-programming-books-subjects.md
View File

@ -335,6 +335,7 @@ Books that cover a specific programming language can be found in the [BY PROGRA
### Mathematics ### Mathematics
* [A Computational Introduction to Number Theory and Algebra](https://shoup.net/ntb/) - Victor Shoup * [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 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 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 * [A Friendly Introduction to Mathematical Logic](https://milneopentextbooks.org/a-friendly-introduction-to-mathematical-logic/) - Christopher C. Leary and Lars Kristiansen