Best book for first order predicate logic
52938
Reference request: Standard textbook for first-order predicate logic in english
147556
Express logic puzzles with proposition calculus notation
14849
Decidability of a predicate.
28281
Different standards for writing down logical quantifiers in a formal way
79695
Logical operators OR AND in condition and order of conditions in WHERE
51369
Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
9968
First-order logic advantage over second-order logic
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
79337
What are some good introductory books on mathematical proofs?
72068
Finding Boolean/Logical Expressions for truth tables in algebraic normal form(ANF)
64617
Bayesian and frequentist reasoning in plain English
121846
What are good books/other readings for elementary set theory?
104758
First book on algebraic topology
57163
Requesting abstract algebra book recommendations
37195
Good books on mathematical logic?
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
56237
Good books on "advanced" probabilities