hmakholm left over Monica
|
hmakholm left over Monica
|
158
Owner of these rooms
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
2d ago – Jade Vanadium
Imperative questions
About math.SE's reaction to questions that simply repeat an exercise in the imperative
5013d ago – Henning Makholm