♦  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	5 hours 2 minutes ago

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

join this room
view transcript