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, ...
6d ago – user21820
Imperative questions
About math.SE's reaction to questions that simply repeat an exercise in the imperative
5010d ago – Henning Makholm