Schoenfield's Mathematical Logic
107287
Shoenfield introductory mathematical logic book alternatives
72034
Truth table and the meaning of $\oplus$ in propositional logic
2227
Good texts on logicism
139064
Show by using logical connectives laws that $(P\to Q) \land (Q \to R) $ is equivalent to $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
22842
The Interpretation of $|\psi|^2$ and the No-Clone Theorem
36626
Multiplication cancellation property by Peano axioms
29744
Compactness and axiomatisability
149506
How much set theory and logic should typical algebraists/analysts/geometers know? (soft-question)
147556
Express logic puzzles with proposition calculus notation
121994
What is the philosophical ground for distinguishing logic and mathematics?
5293
Show that the logic $ \ \forall x \exists y \ P(x,y) \ $ is not logically equivalent to $ \ \exists x \forall y \ P(x,y) \ $
84562
Proof using only field axioms
38939
A book on quantum mechanics supported by the high-level mathematics
75225
Exercise $ 3.4.15 $ of David Marker’s “Model Theory”.
104771
Dedekind's cut and axioms
150451
Logic soundness and completeness