Logic

This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...