Symbolic Logic

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

The Origin of the Logic of Symbolic Mathematics, Hopkins (HC)

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Symbolic Logic by Irving M. Copi (1979, Hardcover)

Equational Logic as a Programming Language (Foundations of Computing), O'Donnell

Foundations of inductive logic programming. Lecture notes in computer science ;

Logic with Symlog Learning Symbolic Logic Computer With Disk By Portoraro, Tully