♦  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	1 day 4 hours ago

00:00 06:00 12:00 18:00	0 today 0 yesterday 1 per day
Su Mo Tu We Th Fr Sa	11 this week 10 last week 7 per week

join this room
view transcript