Tag: LOGIC, SYMBOLIC AND MATHEMATICAL
-

Elements of the Theory of Computation — Harry Lewis
-

Tools and Techniques in Modal Logic (Volume 142) (Studies in Logic and the Foundations of Mathematics, Volume 142) — M. Kracht
-

An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic — Richard F. Von Dohlen
-

Introduction to Mathematical Logic, Third Edition — Elliott Mendelson
-

Symbolic Logic (1881) — John Venn
-

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) — Chin-Liang Chang
-

Major Works: Selected Philosophical Writings (Harper Perennial Modern Thought) — Ludwig Wittgenstein
