Mathematical logic - Adequate sets of connectives.
64075
Prove that a set of connectives is inadequate
47222
Soundness of a rule of a proof system with respect to the truth tables?
67490
Restricing domains for universal and existential quantifiers
102824
Countable set of truth assignments satisfying set of well formed formulas
114550
Well-ordering theorem and second-order logic
15354
Formal proof of $\exists x \forall y P(x,y) \implies \forall y \exists x P(x,y)$
135025
Axiomatization of a Topology using the Boundary
111862
Proof for sequent (Logic)
125950
Proof strategy involving first order logic for existential quantification at very beginning
72034
Truth table and the meaning of $\oplus$ in propositional logic
32081
The dual version of trichotomy of cardinality without AC
147961
Characterizing simply connected spaces
135267
Predicate Logic and Inference
106670
Existence of vector space complement and axiom of choice
143573
Problem (1.8) A Path to Combinatorics Solution Verification.
62936
Proving equivalencies of two versions of the Axiom of Choice
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry