Title: Symbolic logic, binary calculation, and 3C-PACs
Subjects: Symbolic and mathematical Logic