Malice Vidrine
![]() |
Malice Vidrine
|
22
Owner of these rooms
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
5h ago – Jade Vanadium