Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.

London: College Publications (2020)
Download Edit this record How to cite View on PhilPapers
Abstract
This is the 2nd edition of Computational logic. Vol. 1: Classical deductive computing with classical logic. This edition has a wholly new chapter on Datalog, a hard nut to crack from the viewpoint of semantics when negation is included.
PhilPapers/Archive ID
AUGCLV-2
Revision history
First archival date: 2020-01-08
Latest version: 5 (2020-01-11)
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2020-01-07

Total views
36 ( #41,059 of 45,401 )

Recent downloads (6 months)
36 ( #21,884 of 45,401 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.