Logic understanding and books
82867
What are the prerequisites for studying mathematical logic?
28281
Different standards for writing down logical quantifiers in a formal way
141814
Proofs using theorems instead of axioms
108292
Precedence between implication and bi-implication
71670
Predicates and Quantifiers?
95042
Textbooks on set theory
48606
Help with a Predicate Logic homework proof
98386
First-order logic and second-order logic confusion
158295
First Order Logic clauses decidability
151215
Paradox of General Comprehension in Set Theory, other than Russell's Paradox
67683
Building logical criteria (with AND , OR, etc)
105545
Confused about language and words in logic
138897
help with some Hilbert style proofs in a propositional logic axiom system.
158016
Help understanding predicate logic question/proof
37195
Good books on mathematical logic?
111797
Without computers, how can you conjecture the (in)validity of a long convoluted argument in Predicate Logic?
117850
Is God subject to logic?