♦  Logic

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

first message	2016-08-16
last message	4 hours 48 minutes ago

00:00 06:00 12:00 18:00	17 today 15 yesterday 10 per day
Su Mo Tu We Th Fr Sa	65 this week 86 last week 81 per week

join this room
view transcript