Tower of Hanoi logic
47390
Tower of Hanoi recursion java
32181
A logic puzzle involving a balance.
25064
Proving the snake lemma without a diagram chase
80183
Deduction of "Disjunction elimination"
57724
How to prove boolean ordering question
94295
Pigeonhole-principle with two choices
94662
Tower property of conditional expectation
7148
Towers of Hanoi - are there configurations of $n$ disks that are more than $2^n - 1$ moves apart?
116538
Proof of Connected Diagrams
154700
Stuck in logic exercise
158295
First Order Logic clauses decidability
35630
Proof for formal languages
150451
Logic soundness and completeness
102202
The smallest infinity and the axiom of choice
111862
Proof for sequent (Logic)
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
58186
Set theory proof, $\exists g(g\colon A\twoheadrightarrow C)$ or $\exists h(h\colon C\hookrightarrow B)$