Is there a general solution to the water-bucket logic problem?
133617
Relatively prime property verification
27483
What is the reason behind water not falling from a bucket at the top of loop?
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
111797
Without computers, how can you conjecture the (in)validity of a long convoluted argument in Predicate Logic?
38037
A problem with my reasoning in a problem about combinations
59419
Crafty solutions to the following limit
36478
How can I solve this problem without having to do it by hand?
135267
Predicate Logic and Inference
39354
Solving the Travelling Salesman Problem
54719
How to handle equality constraints in this problem?
122324
Is there a proof of Gödel's Incompleteness Theorem without self-referential statements?
114550
Well-ordering theorem and second-order logic
46430
A simple decision problem whose decidability is not known
86067
A Variation of the even-town odd-town problem
152827
Defeating Russell's paradox
152333
A problem based on pigeonhole
150451
Logic soundness and completeness