Carl Mummert
|
Carl Mummert
|
30
Owner of these rooms
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
3d ago – Jade Vanadium
