♦ Logic

This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
first message | 2025-08-04 |
last message | 2 hours 27 minutes ago |
00:00 06:00 12:00 18:00 |
|
Su Mo Tu We Th Fr Sa |
view transcript
218
Owners of this room
last post here 2d ago