What do I (a CS student) need for learning Logic?
37195
Good books on mathematical logic?
107719
Learning from Unix Programming Environment
52938
Reference request: Standard textbook for first-order predicate logic in english
2227
Good texts on logicism
67683
Building logical criteria (with AND , OR, etc)
58639
What prerequisites does a tester need before testing a Machine Learning based product?
141952
Is there a decision procedure for intuitionistic propositional logic?
25601
Is there a "standard" quantum simulator/animator for pedagogy?
111862
Proof for sequent (Logic)
114476
Problem solving Logical Equivalence Question
98386
First-order logic and second-order logic confusion
93560
Solving a logic puzzle using Prolog
113166
Undergraduate prerequisites for a Ph.d. in combinatorics
88398
Learning Resources on Parsers, Interpreters, and Compilers
72034
Truth table and the meaning of $\oplus$ in propositional logic
142382
Is "logicalising" a valid word?
143248
What approach should I take to establish this logical proof?