Similar Listings
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