Jade Vanadium
![]() |
Jade Vanadium
|
00:00 06:00 12:00 18:00 |
|
Su Mo Tu We Th Fr Sa |
7
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...